(FILECREATED "12-MAY-74 01:05:44" SNAP 187663

     changes to:  SNAPVARS, OLD:PREADLIST, FINAL:PREADLIST, PREADLIST, TYPE:OF:LIST)


  (LISPXPRINT (QUOTE SNAPVARS)
	      T)
  (RPAQQ SNAPVARS
	 (EXPERTAG OLD:PREADLIST FINAL:PREADLIST PREADLIST LONG:TAG ABLE:PUP:LIST ABLE:USER:LIST ANY1 ANY2 ANY3 ARG1 
		   ARG2 ARG3 ATTEMPTING:ANYTHING:LIST ATTEMPTING:SOMETHING:LIST AWARE:USER:LIST BECAUSE BEING:STACK 
		   CHOICE CODING:WARNING:LIST CURRENT:DEMONS DEFERRED:DECISION:LIST DEMON:STACK DISTINGUISHED:ARG:LIST 
		   DISTINGUISHED:INFO:LIST DOING:PUP:LIST ENCODABLE:SECTION:LIST EXECUTABLE:INFO:LIST FN:CALL:LIST 
		   FRAG1 FRAG2 FRINGE:CONCIOUS:LIST GLOBAL:INITIALIZATION:LIST INITIALIZE:VAR:LIST IS:BEING:LIST 
		   IS:DEFINED:LIST IS:SPECIFIC:LIST IS:STRUCTURE:LIST KNOWN:NAMES LOOP:TERMINATION:LIST MATCH:RESULT 
		   MEMBER:OF:LIST NAMED:EXPRESSION:LIST NEW:INFO:LIST NEW:THING:LIST PART:INTERSECTION:LIST 
		   PARTITIONED:DOMAIN:LIST PLAUSIBLE:NAMES:LIST PUP:STUDIED:LIST PUP:WANTED:LIST PUP:WANTS:LIST 
		   READ:USER:LIST RELEVANT:INFO:LIST RESULT:BINDING:LIST RESULT:COUNTER NEW:F:NUMBER NEW:P:NUMBER 
		   SET:OF:BEINGS TRANSLATED:INFO:LIST TRANSLATED:PAIR:LIST TRUE:FN:CALL:LIST TYPE:OF:LIST 
		   UNDEFERRED:DECISION:LIST UNDEFINED:SECTION:LIST UNKNOWN:TASK USABLE:INFO:LIST USER:INTERRUPT:DEMONS 
		   USER:WANTS:LIST WRITTEN:PROGRAMS:LIST (COMS * (LIST (APPEND (QUOTE (PROP ALL))
									       (SETDIFFERENCE IS:BEING:LIST 
											      SET:OF:BEINGS))))
		   (P (PRIN1 " WARNING: NEW BEINGS ARE NOT SEMICOMPILED  ")
		      (MAPC IS:BEING:LIST (FUNCTION (LAMBDA (B)
							    (SET B B)))))))
  (RPAQQ EXPERTAG NIL)
  (RPAQQ OLD:PREADLIST (0 (WRITE A PROGRAM WHICH DOES CONCEPT FORMATION)
			  CF NO NO PAD NO (A C)
			  NIL NIL HAS:NAME YES YES NO NIL NIL NIL NO NIL NO (A DESCRIPTION OF A STATIC SCENE)
			  NIL NO (THE FRONT PART OF ARG1 ISNT ???)
			  YES NO T NIL ELEMENT:OBJECTS NIL ELEMENT:CLASSNAME NO NIL ELEMENT:RELNS NO NIL T NO NO
			  (B)
			  NO NO NIL NIL NO YES (TEST SUCCEEDED)
			  NIL JOIN NO NIL NO NIL NO NIL NO (ANY RELATION IN POSSIBLE:NAME:OF:CLASS:RELNS:22 IS 
								INCOMPATIBLE WITH ELEMENT:RELNS:15)
			  CONTRADICTS NO (A B C)
			  YES YES:RELNS NO:RELNS MAYBE:RELNS NO (A C)
			  NIL NIL CLASS:OBJECTS CLASS:CLASSNAME CLASS:YES:RELNS CLASS:NO:RELNS CLASS:MAYBE:RELNS YES NO 
			  YES ARG1 (RESULT:2 ISNT NOTHING)
			  YES T NIL YES YES YES NO YES YES YES NIL NO NIL NO NIL NO NIL NO NIL NO 1 NIL NO T NO 1 NO
			  (A C)
			  NO NIL NO NIL NO YES ARG1 (RESULT:3 ISNT NOTHING)
			  NIL YES YES YES YES YES NO YES YES YES T YES YES MODIFY:STRUCTURE:39 YES MODIFY:STRUCTURE:40 
			  YES MODIFY:STRUCTURE:41 YES MODIFY:STRUCTURE:42 NO NIL))
  (RPAQQ FINAL:PREADLIST
	 (NIL YES YES YES YES YES NO YES YES YES T YES YES MODIFY:STRUCTURE:39 YES MODIFY:STRUCTURE:40 YES 
	      MODIFY:STRUCTURE:41 YES MODIFY:STRUCTURE:42 NO NIL))
  (RPAQQ PREADLIST NIL)
  (RPAQQ LONG:TAG NIL)
  (RPAQQ ABLE:PUP:LIST NIL)
  (RPAQQ ABLE:USER:LIST NIL)
  (RPAQQ ANY1 CONDITIONAL:INSERTION:55)
  (RPAQQ ANY2 CONDITIONAL:INSERTION)
  (RPAQQ ANY3 WE)
  (RPAQQ ARG1 NO:RELNS:29)
  (RPAQQ ARG2 POSSIBLE:NAME:OF:CLASS)
  (RPAQQ ARG3 (COMPARE:26 (APPEND YES:RELNS:28 NO:RELNS:29 MAYBE:RELNS:30)
			  ELEMENT:RELNS:15))
  (RPAQQ ATTEMPTING:ANYTHING:LIST ((VECTOR WRITE:PROGRAM (VECTOR CONCEPT:FORMATION))))
  (RPAQQ ATTEMPTING:SOMETHING:LIST ((VECTOR WRITE:PROGRAM (VECTOR CONCEPT:FORMATION))))
  (RPAQQ AWARE:USER:LIST ((VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR BETTER)
				  AS CNAME WHICH IS BETTER:38)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR BETTER))))
  (RPAQQ BECAUSE (VECTOR WE CALL THE SIMPLEST BEING WHICH CAN BRING ABOUT THE EFFECT (VECTOR IS BEING FNAME)))
  (RPAQQ BEING:STACK (DEFER:DECISION FILL:IN:UNDEFINED:SECTION CHOOSE:FROM WRITE:PROGRAM SERVE))
  (RPAQQ CHOICE (VECTOR CONDITIONAL:INSERTION:55 TYPE OF (VECTOR CONDITIONAL:INSERTION)))
  (RPAQQ CODING:WARNING:LIST
	 ((50 VECTOR COMMENT INITIAL:VALUE:OF:CLASS:MAYBE:RELNS:37 IN POSSIBLE:NAME:OF:CLASS UNDEFINED; WILL BE GOTTEN 
	      LATER; PROBABLY NIL OR SOME ALREADY-READ-IN VALUE SINCE
	      (VECTOR INITIAL VALUES ARE RARELY COMPUTED INTRICATELY; THEY ARE TYPICALLY CONSTANT, OFTEN NIL, OR ARE 
		      READ IN AT THE BEGINNING))
	  (50 VECTOR COMMENT INITIAL:VALUE:OF:CLASS:NO:RELNS:36 IN POSSIBLE:NAME:OF:CLASS UNDEFINED; WILL BE GOTTEN 
	      LATER; PROBABLY NIL OR SOME ALREADY-READ-IN VALUE SINCE
	      (VECTOR INITIAL VALUES ARE RARELY COMPUTED INTRICATELY; THEY ARE TYPICALLY CONSTANT, OFTEN NIL, OR ARE 
		      READ IN AT THE BEGINNING))
	  (50 VECTOR COMMENT INITIAL:VALUE:OF:CLASS:YES:RELNS:35 IN POSSIBLE:NAME:OF:CLASS UNDEFINED; WILL BE GOTTEN 
	      LATER; PROBABLY NIL OR SOME ALREADY-READ-IN VALUE SINCE
	      (VECTOR INITIAL VALUES ARE RARELY COMPUTED INTRICATELY; THEY ARE TYPICALLY CONSTANT, OFTEN NIL, OR ARE 
		      READ IN AT THE BEGINNING))
	  (50 VECTOR COMMENT INITIAL:VALUE:OF:CLASS:CLASSNAME:34 IN POSSIBLE:NAME:OF:CLASS UNDEFINED; WILL BE GOTTEN 
	      LATER; PROBABLY NIL OR SOME ALREADY-READ-IN VALUE SINCE
	      (VECTOR INITIAL VALUES ARE RARELY COMPUTED INTRICATELY; THEY ARE TYPICALLY CONSTANT, OFTEN NIL, OR ARE 
		      READ IN AT THE BEGINNING))
	  (50 VECTOR COMMENT INITIAL:VALUE:OF:CLASS:OBJECTS:33 IN POSSIBLE:NAME:OF:CLASS UNDEFINED; WILL BE GOTTEN 
	      LATER; PROBABLY NIL OR SOME ALREADY-READ-IN VALUE SINCE
	      (VECTOR INITIAL VALUES ARE RARELY COMPUTED INTRICATELY; THEY ARE TYPICALLY CONSTANT, OFTEN NIL, OR ARE 
		      READ IN AT THE BEGINNING))
	  (45 VECTOR COMMENT WARNING FAILURE:VALUE IN FOREACH:17 UNDEFINED; WILL BE GOTTEN LATER; PROBABLY NIL OR A 
	      LITERAL SUCH AS FAIL FAILURE OR NOTHING SINCE
	      (VECTOR WHEN NO POSSIBLE:NAME:OF:CLASS IN SET:OF:POSSIBLE:NAMES:OF:CLASS SUFFICES, WE MUST BIND 
		      POSSIBLE:NAME:OF:CLASS TO SOME SPECIAL VALUE TO DISTINGUISH IT FROM THE LAST 'SUCCESSFUL 
		      BINDING-- TO THE LAST ELEMENT OF SET:OF:POSSIBLE:NAMES:OF:CLASS))
	  (45 VECTOR COMMENT WARNING EXHAUSTION:VALUE IN FOREACH:17 UNDEFINED; WILL BE GOTTEN LATER; PROBABLY RESULT:1 
	      SINCE (VECTOR NO EXISTING POSSIBLE:NAME:OF:CLASS IN SET:OF:POSSIBLE:NAMES:OF:CLASS WILL SUFFICE. WE MUST 
			    KNOW WHAT VALUE TO RETURN.))
	  (45 VECTOR COMMENT WARNING INITIAL:VALUE:OF:SET:OF:POSSIBLE:NAMES:OF:CLASS IN GLOBAL:CONTEXT:0; WILL BE 
	      GOTTEN LATER; PROBABLY NIL OR THE INITIAL STATE OF KNOWLEDGE ABOUT POSSIBLE:NAMES:OF:CLASS)
	  (95 VECTOR SET:OF:POSSIBLE:NAMES:OF:CLASS IS A DATA STRUCTURE, WITH ELEMENTS OF TYPE POSSIBLE:NAME:OF:CLASS 
	      ;BUT NO ACCESSION INFORMATION IS KNOWN)
	  (45 VECTOR COMMENT WARNING UNTIL:CONDITION:VALUE IN FOREACH:17 UNDEFINED; WILL BE GOTTEN LATER; PROBABLY 
	      EITHER NIL OR (COMMENT EVAL UNTIL:CONDITION)
	      OR
	      (COMMENT EVAL POSSIBLE:NAME:OF:CLASS)
	      SINCE
	      (VECTOR THE UNTIL:CONDITION HAS BECOME TRUE FOR THE FIRST TIME. WE MUST KNOW WHAT VALUE TO RETURN))
	  (101 VECTOR INFINITE LOOP IN PAD:2 FROM LABEL:1 TO (VECTOR GO LABEL:1))
	  (266 VECTOR WARNING WE HAVE FOUND NO INSERTIONS INTO POSSIBLE:NAME:OF:CLASS DATA STRUCTURE)
	  (267 VECTOR WARNING WE HAVE FOUND NO DELETIONS INTO POSSIBLE:NAME:OF:CLASS DATA STRUCTURE)
	  (97 VECTOR COMMENT WARNING INITIAL:VALUE IN SET:OF:POSSIBLE:NAMES:OF:CLASS UNDEFINED; WILL BE GOTTEN LATER; 
	      PROBABLY NIL SINCE (VECTOR WE KNOW NONE TO BEING WITH; THE LIST STRUCTURE SHOULD GROW WITH TIME))
	  (100 VECTOR WARNING WE HAVE FOUND NO INSERTIONS INTO SET:OF:POSSIBLE:NAMES:OF:CLASS DATA STRUCTURE)
	  (101 VECTOR WARNING WE HAVE FOUND NO DELETIONS INTO SET:OF:POSSIBLE:NAMES:OF:CLASS DATA STRUCTURE)))
  (RPAQQ CURRENT:DEMONS (FRINGE:OF:CONCIOUSNESS:DEMON PSYCHOLOGY:DEMON PROGRAM:WRITING:DEMONS DEFERRAL:DEMON 
						      REINVESTIGATION:DEMON IDIOM:DEMON SPECIFICITY:CHECK:DEMON 
						      FORGETFUL:USER:DEMON))
  (RPAQQ DEFERRED:DECISION:LIST
	 ((VECTOR (VECTOR ALTERNATIVES (VECTOR NOMINAL:RESULT ORDINAL:RESULT RATIO:RESULT VECTOR:RESULT)
			  AFFECTS
			  (VECTOR THE TERMINATION CHARACTERISITCS OF THE COMPARING)
			  WHEN
			  (VECTOR BEFORE THE COMPARING ROUTINE IS FINALIZED)
			  COMPARE)
		  UNTIL NIL)
	  (VECTOR (VECTOR ALTERNATIVES (VECTOR NOMINAL:RESULT ORDINAL:RESULT RATIO:RESULT VECTOR:RESULT)
			  AFFECTS
			  (VECTOR THE TERMINATION CHARACTERISITCS OF THE COMPARING)
			  WHEN
			  (VECTOR BEFORE THE COMPARING ROUTINE IS FINALIZED)
			  COMPARE)
		  UNTIL NIL)
	  (VECTOR (VECTOR ALTERNATIVES (VECTOR NOMINAL:RESULT ORDINAL:RESULT RATIO:RESULT VECTOR:RESULT)
			  AFFECTS
			  (VECTOR THE TERMINATION CHARACTERISITCS OF THE COMPARING)
			  WHEN
			  (VECTOR BEFORE THE COMPARING ROUTINE IS FINALIZED)
			  COMPARE)
		  UNTIL NIL)
	  (VECTOR (VECTOR ALTERNATIVES (VECTOR NOMINAL:RESULT ORDINAL:RESULT RATIO:RESULT VECTOR:RESULT)
			  AFFECTS
			  (VECTOR THE TERMINATION CHARACTERISITCS OF THE COMPARING)
			  WHEN
			  (VECTOR BEFORE THE COMPARING ROUTINE IS FINALIZED)
			  COMPARE)
		  UNTIL NIL)
	  (VECTOR (VECTOR ALTERNATIVES (VECTOR NOMINAL:RESULT ORDINAL:RESULT RATIO:RESULT)
			  AFFECTS
			  (VECTOR WHETHER NO OTHER, ALL OTHER, OR ALL OTHER OBJECTS MUST BE EXAMINED)
			  WHEN
			  (VECTOR BEFORE DECIDING FIRMLY HOW TO TEST (TUPLE CADDR ENT1))
			  TEST)
		  UNTIL
		  (MEMBER (VECTOR DETAIL OF TESTING (TUPLE CADDR ENT1))
			  DOING:PUP:LIST))
	  (VECTOR (VECTOR BOOLEAN (VECTOR DOES AN ALGORITHM EXIST WHICH GETS NAME:OF:CLASS AND PERHAPS SOME OTHER STUFF)
			  AFFECTS
			  (VECTOR WHETHER WE CAN STOP TRYING TO 'GET' AND INSTEAD TRY TO 'IMPLEMENT')
			  WHEN
			  (VECTOR BEFORE ANY GET:HOLD:OF ROUTINES ARE FINALIZED)
			  WHY
			  (VECTOR BECAUSE TO DO SO EARLIER WOULD PRECLUDE THE CHANCE OF A TRIVIAL SOLUTION TO THE 
				  GETTING; TO DO SO LATER MIGHT CAUSE UNNECESSARY CODE TO BE WRITTEN)
			  GET:HOLD:OF)
		  UNTIL
		  (MEMBER T (MAPCAR (SETINTERSECTION UNDEFINED:SECTION:LIST DOING:PUP:LIST)
				    (FUNCTION (LAMBDA (X)
						      (AND (OR (ATOM X)
							       (SETQ X (CADR (CADDDR X))))
							   (OR (EQUAL FRAG2 (LIST X))
							       (SETINTERSECTION (TUPLE GET:HOLD:OF)
										(GETP X GENERALIZATIONS)))))))))
	  (VECTOR (VECTOR BOOLEAN (VECTOR PARTITION MAY BE ONLY PARTIAL)
			  AFFECTS
			  (VECTOR WHETHER AN ELEMENT OF THE DOMAIN MAY BELONG TO ZERO CLASSES)
			  WHEN
			  (VECTOR BEFORE ANY TERMINATION:OF:IDENTIFICATION ROUTINES ARE FINALIZED)
			  PARTITION:A:DOMAIN)
		  UNTIL
		  (MEMBER T (MAPCAR (SETINTERSECTION UNDEFINED:SECTION:LIST DOING:PUP:LIST)
				    (FUNCTION (LAMBDA (X)
						      (AND (OR (ATOM X)
							       (SETQ X (CADR (CADDDR X))))
							   (OR (EQUAL FRAG2 (LIST X))
							       (SETINTERSECTION (TUPLE TERMINATION:OF:IDENTIFICATION)
										(GETP X GENERALIZATIONS)))))))))
	  (VECTOR (VECTOR BOOLEAN (VECTOR PARTITION MAY BE ONLY WEAK)
			  AFFECTS
			  (VECTOR WHETHER AN ELEMENT OF THE DOMAIN MAY BELONG TO MANY CLASSES)
			  WHEN
			  (VECTOR BEFORE ANY TERMINATION:OF:IDENTIFICATION ROUTINES ARE FINALIZED)
			  PARTITION:A:DOMAIN)
		  UNTIL
		  (MEMBER T (MAPCAR (SETINTERSECTION UNDEFINED:SECTION:LIST DOING:PUP:LIST)
				    (FUNCTION (LAMBDA (X)
						      (AND (OR (ATOM X)
							       (SETQ X (CADR (CADDDR X))))
							   (OR (EQUAL FRAG2 (LIST X))
							       (SETINTERSECTION (TUPLE TERMINATION:OF:IDENTIFICATION)
										(GETP X GENERALIZATIONS)))))))))
	  (VECTOR (VECTOR ALTERNATIVES (VECTOR CLASSIFICATORY:CONCEPT:FORMATION COMPARITIVE:CONCEPT:FORMATION 
					       METRICAL:CONCEPT:FORMATION)
			  PARTS
			  (VECTOR META:CODE)
			  CONCEPT:FORMATION)
		  UNTIL
		  (RELEVANT (PROCEDURE:SUBSET (VECTOR PARTITION:A:DOMAIN)
					      ABLE:PUP:LIST)))
	  (VECTOR (VECTOR BOOLEAN (VECTOR CONCEPTS MAY VARY WITH TIME)
			  AFFECTS
			  (VECTOR THE BASIC STRUCTURE OF FORMING A CONCEPT)
			  CONCEPT:FORMATION)
		  UNTIL
		  (MEMBER (VECTOR DETAIL OF FORMING A CONCEPT)
			  DOING:PUP:LIST))
	  (VECTOR (VECTOR BOOLEAN (VECTOR CONCEPT FORMATION MAY DEPEND UPON THE SPEED OF PRESENTATION OF THE STIMULI)
			  AFFECTS
			  (VECTOR THE AMOUNT OF EFFORT CF:1 SHOULD SPEND ON IDENTIFYING EACH STIMULUS)
			  CONCEPT:FORMATION)
		  UNTIL
		  (MEMBER (VECTOR DETAIL OF IDENTIFYING EACH STIMULUS)
			  DOING:PUP:LIST))
	  (VECTOR (VECTOR DICHOTOMY (VECTOR (VECTOR INSTANCES MAY BE LEFT IN VIEW INDEFINITELY)
					    (VECTOR INSTANCES MAY BE REMOVED AFTER PROCESSING))
			  RESULTS
			  (VECTOR (VECTOR NEW RELATIONS CAN BE DERIVED AS NEEDED)
				  (VECTOR ALL RELATIONS MUST BE DERIVED UPON INITIAL EXPOSURE TO THE STIMULUS))
			  WHEN
			  (VECTOR BEFORE DECIDING FIRMLY HOW TO GET RELATIONS FROM INPUT STIMULI)
			  CONCEPT:FORMATION)
		  UNTIL
		  (MEMBER (VECTOR DETAIL OF GETING RELATIONS FROM INPUT STIMULI)
			  DOING:PUP:LIST))
	  (VECTOR (VECTOR ALTERNATIVES (VECTOR CONJUNCTIVE:CONCEPT:FORMATION DISJUNCTIVE:CONCEPT:FORMATION 
					       MIXED:CONJUNCTIVE:AND:DISJUNCTIVE:CONCEPT:FORMATION)
			  AFFECTS
			  (VECTOR HOW CF:1 STORES THE DESCRIPTION OF A CONCEPT)
			  PARTS
			  (VECTOR META:CODE)
			  CONCEPT:FORMATION)
		  UNTIL
		  (MEMBER (VECTOR DETAIL OF STORING THE DESCRIPTION OF A CONCEPT)
			  DOING:PUP:LIST))
	  (VECTOR (VECTOR ALTERNATIVES (VECTOR POSITIVE:TRANSFER:CONCEPT:FORMATION NEGATIVE:TRANSFER:CONCEPT:FORMATION 
					       NO:TRANSFER:CONCEPT:FORMATION 
					       POSITIVE:AND:NEGATIVE:TRANSFER:CONCEPT:FORMATION)
			  AFFECTS
			  (VECTOR HOW PREVIOUSLY:LEARNED CONCEPTS AND PREVIOUSLY:ENCOUNTERED STIMULI AFFECT THE 
				  LEARNING OF NEW CONCEPTS AND THE RECOGNITION THAT A NEW CONCEPT IS NEW)
			  WHEN
			  (VECTOR BEFORE DECIDING FIRMLY HOW TO SEARCH THROUGH THE SET OF CONCEPTS)
			  CONCEPT:FORMATION)
		  UNTIL
		  (MEMBER (VECTOR DETAIL OF SEARCHING THROUGH THE SET OF CONCEPTS)
			  DOING:PUP:LIST))
	  (VECTOR (VECTOR ALTERNATIVES (VECTOR POSITIVE:INSTANCE:UTILIZATION NEGATIVE:INSTANCE:UTILIZATION 
					       POSITIVE:AND:NEGATIVE:INSTANCE:UTILIZATION)
			  AFFECTS
			  (VECTOR WHAT INFORMATION CF:1 MAY USE TO MODIFY THE DESCRIPTION OF A CONCEPT)
			  PARTS
			  (VECTOR META:CODE)
			  CONCEPT:FORMATION)
		  UNTIL
		  (MEMBER (VECTOR DETAIL OF MODIFYING THE DESCRIPTION OF A CONCEPT)
			  DOING:PUP:LIST))
	  (VECTOR (VECTOR ADAPTATION (VECTOR DESIRED DIALOGUE BETWEEN CF:1 AND ITS USERS)
			  AFFECTS
			  (VECTOR OUTPUT DETAILS)
			  CONCEPT:FORMATION)
		  UNTIL
		  (MEMBER (VECTOR DETAIL OF OUTPUTING)
			  DOING:PUP:LIST))))
  (RPAQQ DEMON:STACK ((FRINGE:OF:CONCIOUSNESS:DEMON PSYCHOLOGY:DEMON PROGRAM:WRITING:DEMONS DEFERRAL:DEMON 
						    REINVESTIGATION:DEMON IDIOM:DEMON SPECIFICITY:CHECK:DEMON 
						    FORGETFUL:USER:DEMON)
	  (FRINGE:OF:CONCIOUSNESS:DEMON PSYCHOLOGY:DEMON PROGRAM:WRITING:DEMONS DEFERRAL:DEMON REINVESTIGATION:DEMON 
					IDIOM:DEMON SPECIFICITY:CHECK:DEMON FORGETFUL:USER:DEMON)
	  (FRINGE:OF:CONCIOUSNESS:DEMON PSYCHOLOGY:DEMON PROGRAM:WRITING:DEMONS DEFERRAL:DEMON REINVESTIGATION:DEMON 
					IDIOM:DEMON SPECIFICITY:CHECK:DEMON FORGETFUL:USER:DEMON)
	  (PROGRAM:WRITING:DEMONS DEFERRAL:DEMON REINVESTIGATION:DEMON IDIOM:DEMON SPECIFICITY:CHECK:DEMON 
				  FORGETFUL:USER:DEMON)
	  (FORGETFUL:USER:DEMON)))
  (RPAQQ DISTINGUISHED:ARG:LIST ((APPEND YES:RELNS:28 NO:RELNS:29 MAYBE:RELNS:30)))
  (RPAQQ DISTINGUISHED:INFO:LIST (((APPEND YES:RELNS:28 NO:RELNS:29 MAYBE:RELNS:30)
	   (FORSOME RELATION IN (APPEND YES:RELNS:28 NO:RELNS:29 MAYBE:RELNS:30)
		    (RECOGNIZE:# RELATION ELEMENT:RELNS:15)))))
  (RPAQQ DOING:PUP:LIST ((VECTOR CONDITIONAL:INSERTION:55 ARG1 ARG2)
	  (VECTOR CONDITIONAL:INSERTION:55 TYPE OF (VECTOR CONDITIONAL:INSERTION))
	  (VECTOR MODIFY:STRUCTURE:48 NO:RELNS:29 POSSIBLE:NAME:OF:CLASS)
	  (VECTOR MODIFY:STRUCTURE:48 TYPE OF (VECTOR MODIFY:STRUCTURE))
	  (VECTOR CONDITIONAL:INSERTION:54 ARG1 ARG2)
	  (VECTOR CONDITIONAL:INSERTION:54 TYPE OF (VECTOR CONDITIONAL:INSERTION))
	  (VECTOR MODIFY:STRUCTURE:47 YES:RELNS:28 POSSIBLE:NAME:OF:CLASS)
	  (VECTOR MODIFY:STRUCTURE:47 TYPE OF (VECTOR MODIFY:STRUCTURE))
	  (VECTOR CONDITIONAL:INSERTION:53 ARG1 ARG2)
	  (VECTOR CONDITIONAL:INSERTION:53 TYPE OF (VECTOR CONDITIONAL:INSERTION))
	  (VECTOR MODIFY:STRUCTURE:42 MAYBE:RELNS:30 NAME:OF:CLASS)
	  (VECTOR MODIFY:STRUCTURE:42 TYPE OF (VECTOR MODIFY:STRUCTURE))
	  (VECTOR CONDITIONAL:DELETION:52 ARG1 ARG2)
	  (VECTOR CONDITIONAL:DELETION:52 TYPE OF (VECTOR CONDITIONAL:DELETION))
	  (VECTOR MODIFY:STRUCTURE:41 NO:RELNS:29 NAME:OF:CLASS)
	  (VECTOR MODIFY:STRUCTURE:41 TYPE OF (VECTOR MODIFY:STRUCTURE))
	  (VECTOR CONDITIONAL:DELETION:51 ARG1 ARG2)
	  (VECTOR CONDITIONAL:DELETION:51 TYPE OF (VECTOR CONDITIONAL:DELETION))
	  (VECTOR MODIFY:STRUCTURE:40 YES:RELNS:28 NAME:OF:CLASS)
	  (VECTOR MODIFY:STRUCTURE:40 TYPE OF (VECTOR MODIFY:STRUCTURE))
	  (VECTOR CONDITIONAL:INSERTION:50 ARG1 ARG2)
	  (VECTOR CONDITIONAL:INSERTION:50 TYPE OF (VECTOR CONDITIONAL:INSERTION))
	  (VECTOR MODIFY:STRUCTURE:39 POSSIBLE:NAME:OF:CLASS:OBJECTS:20 NAME:OF:CLASS)
	  (VECTOR MODIFY:STRUCTURE:39 TYPE OF (VECTOR MODIFY:STRUCTURE))
	  (VECTOR COMPLEX:ALTERATION:46 POSSIBLE:NAME:OF:CLASS)
	  (VECTOR COMPLEX:ALTERATION:46 TYPE OF (VECTOR COMPLEX:ALTERATION))
	  (VECTOR COMPLEX:ALTERATION:45 ARG1)
	  (VECTOR COMPLEX:ALTERATION:45 TYPE OF (VECTOR COMPLEX:ALTERATION))
	  (VECTOR CONDITIONAL:INSERTION:44 ARG1)
	  (VECTOR CONDITIONAL:INSERTION:44 TYPE OF (VECTOR CONDITIONAL:INSERTION))
	  (VECTOR MODIFY:STRUCTURE:9 NAME:OF:CLASS)
	  (VECTOR MODIFY:STRUCTURE:9 TYPE OF (VECTOR MODIFY:STRUCTURE))
	  (VECTOR SIMPLE:COMPARE:FN:43)
	  (VECTOR SIMPLE:COMPARE:FN:43 TYPE OF (VECTOR SIMPLE:COMPARE:FN))
	  (VECTOR BETTER:38)
	  (VECTOR BETTER:38 TYPE OF (VECTOR BETTER))
	  (VECTOR COMPLEX:ALTERATION:32 ARG1)
	  (VECTOR COMPLEX:ALTERATION:32 TYPE OF (VECTOR COMPLEX:ALTERATION))
	  (VECTOR CONDITIONAL:INSERTION:31 ARG1)
	  (VECTOR CONDITIONAL:INSERTION:31 TYPE OF (VECTOR CONDITIONAL:INSERTION))
	  (VECTOR MODIFY:STRUCTURE:7 NAME:OF:CLASS)
	  (VECTOR MODIFY:STRUCTURE:7 TYPE OF (VECTOR MODIFY:STRUCTURE))
	  (VECTOR IMPROBABILITY (VECTOR IN ALL CODE GENERATED, (APPEND YES:RELNS:28 NO:RELNS:29 MAYBE:RELNS:30)
					SHOULD BE REPLACED BY (VECTOR APPEND YES:RELNS:28 NO:RELNS:29 MAYBE:RELNS:30)))
	  (VECTOR CONTRADICTS:27 RELATION ELEMENT:RELNS:15)
	  (VECTOR CONTRADICTS:27 TYPE OF (VECTOR RECOGNIZE:#))
	  (VECTOR COMPARE:26 (APPEND YES:RELNS:28 NO:RELNS:29 MAYBE:RELNS:30)
		  ELEMENT:RELNS:15)
	  (VECTOR COMPARE:26 TYPE OF (VECTOR COMPARE))
	  (VECTOR COMPARE:25 POSSIBLE:NAME:OF:CLASS:CLASSNAME:21 ELEMENT:CLASSNAME:13)
	  (VECTOR COMPARE:25 TYPE OF (VECTOR COMPARE))
	  (VECTOR COMPARE:24 POSSIBLE:NAME:OF:CLASS:OBJECTS:20 ELEMENT:OBJECTS:11)
	  (VECTOR COMPARE:24 TYPE OF (VECTOR COMPARE))
	  (VECTOR JOIN:23 (VECTOR COMPARE POSSIBLE:NAME:OF:CLASS:OBJECTS:20 ELEMENT:OBJECTS:11)
		  (VECTOR COMPARE POSSIBLE:NAME:OF:CLASS:CLASSNAME:21 ELEMENT:CLASSNAME:13)
		  (VECTOR COMPARE (APPEND YES:RELNS:28 NO:RELNS:29 MAYBE:RELNS:30)
			  ELEMENT:RELNS:15))
	  (VECTOR JOIN:23 TYPE OF (VECTOR JOINING:FUNCTION))
	  (VECTOR COMPARE:19 ARG1 ELEMENT:4)
	  (VECTOR COMPARE:19 TYPE OF (VECTOR COMPARE))
	  (VECTOR TEST:18 POSSIBLE:NAME:OF:CLASS (VECTOR COMMENT FOR SATISFACTION OF GOAL CRITERIA))
	  (VECTOR TEST:18 TYPE OF (VECTOR TEST))
	  (VECTOR FOREACH:17 POSSIBLE:NAME:OF:CLASS IN SET:OF:POSSIBLE:NAMES:OF:CLASS DO
		  (VECTOR TEST POSSIBLE:NAME:OF:CLASS (VECTOR COMMENT FOR SATISFACTION OF GOAL CRITERIA)))
	  (VECTOR FOREACH:17 TYPE OF (VECTOR FOREACH))
	  (VECTOR GET:HOLD:OF:8 NAME:OF:CLASS)
	  (VECTOR GET:HOLD:OF:8 TYPE OF (VECTOR GET:HOLD:OF))
	  (VECTOR TAKE:HOLD:OF:6 NAME:OF:CLASS)
	  (VECTOR TAKE:HOLD:OF:6 TYPE OF (VECTOR TAKE:HOLD:OF))
	  (VECTOR TAKE:HOLD:OF:3 ELEMENT)
	  (VECTOR TAKE:HOLD:OF:3 TYPE OF (VECTOR TAKE:HOLD:OF))
	  (VECTOR HAS:NAME:5 ELEMENT (VECTOR COMMENT PARTITION:BY:TAKE:ELE:AND:CLASS))
	  (VECTOR HAS:NAME:5 TYPE OF (VECTOR IS:OF:TYPE))
	  (VECTOR ELEMENT:4 (VECTOR COMMENT PARTITION:BY:TAKE:ELE:AND:CLASS))
	  (VECTOR ELEMENT:4 TYPE OF (VECTOR ELEMENT))
	  (VECTOR PAD:2)
	  (VECTOR PAD:2 TYPE OF (VECTOR PARTITION:A:DOMAIN))
	  NIL
	  (VECTOR CF:1 TYPE OF (VECTOR CONCEPT:FORMATION))
	  (COMMENT END OF STACK MARKER)))
  (RPAQQ ENCODABLE:SECTION:LIST NIL)
  (RPAQQ EXECUTABLE:INFO:LIST NIL)
  (RPAQQ FN:CALL:LIST ((VECTOR BETTER:38)
	  (VECTOR CLASS:NO:RELNS:36)
	  (VECTOR RESULT:9 (VECTOR GETP POSSIBLE:NAME:OF:CLASS CLASS:NO:RELNS:36)
		  BETTER)
	  (VECTOR CLASS:NO:RELNS:36 (VECTOR MERGE:IN RESULT:9 (VECTOR GETP POSSIBLE:NAME:OF:CLASS CLASS:NO:RELNS:36)
					    BETTER))
	  (VECTOR RESULT:9 NIL)
	  (VECTOR RESULT:8 NIL)
	  (VECTOR MAYBE:RELNS:30)
	  (VECTOR ELEMENT:RELNS:15 MAYBE:RELNS:30)
	  (VECTOR CONDITIONAL:INSERTION:55 ARG1 ARG2)
	  (VECTOR BETTER:38)
	  (VECTOR CLASS:YES:RELNS:35)
	  (VECTOR RESULT:8 (VECTOR GETP POSSIBLE:NAME:OF:CLASS CLASS:YES:RELNS:35)
		  BETTER)
	  (VECTOR CLASS:YES:RELNS:35 (VECTOR MERGE:IN RESULT:8 (VECTOR GETP POSSIBLE:NAME:OF:CLASS CLASS:YES:RELNS:35)
					     BETTER))
	  (VECTOR RESULT:8 NIL (VECTOR PUT POSSIBLE:NAME:OF:CLASS CLASS:YES:RELNS:35 (VECTOR MERGE:IN RESULT:8
											     (VECTOR GETP 
											     POSSIBLE:NAME:OF:CLASS 
												 CLASS:YES:RELNS:35)
											     BETTER)))
	  (VECTOR ELEMENT:RELNS:15)
	  (VECTOR MAYBE:RELNS:30 ELEMENT:RELNS:15)
	  (VECTOR CONDITIONAL:INSERTION:54 ARG1 ARG2)
	  (VECTOR BETTER:38)
	  (VECTOR CLASS:MAYBE:RELNS:37)
	  (VECTOR RESULT:7 (VECTOR GETP NAME:OF:CLASS CLASS:MAYBE:RELNS:37)
		  BETTER)
	  (VECTOR CLASS:MAYBE:RELNS:37 (VECTOR MERGE:IN RESULT:7 (VECTOR GETP NAME:OF:CLASS CLASS:MAYBE:RELNS:37)
					       BETTER))
	  (VECTOR RESULT:7 NIL (VECTOR PUT NAME:OF:CLASS CLASS:MAYBE:RELNS:37 (VECTOR MERGE:IN RESULT:7
										      (VECTOR GETP NAME:OF:CLASS 
											      CLASS:MAYBE:RELNS:37)
										      BETTER)))
	  (VECTOR MAYBE:RELNS:30)
	  (VECTOR NO:RELNS:29 MAYBE:RELNS:30)
	  (VECTOR YES:RELNS:28 NO:RELNS:29 MAYBE:RELNS:30)
	  (VECTOR ELEMENT:RELNS:15 (VECTOR APPEND YES:RELNS:28 NO:RELNS:29 MAYBE:RELNS:30))
	  (VECTOR RESULT:6 (VECTOR CAR (VECTOR SETDIFFERENCE ELEMENT:RELNS:15 (VECTOR APPEND YES:RELNS:28 NO:RELNS:29 
										      MAYBE:RELNS:30))))
	  (VECTOR RESULT:5 RESULT:6 (VECTOR CAR (VECTOR SETDIFFERENCE ELEMENT:RELNS:15 (VECTOR APPEND YES:RELNS:28 
											       NO:RELNS:29 
											       MAYBE:RELNS:30))))
	  (VECTOR CONDITIONAL:INSERTION:53 ARG1 ARG2)
	  (VECTOR CLASS:NO:RELNS:36)
	  (VECTOR RESULT:6 (VECTOR GETP NAME:OF:CLASS CLASS:NO:RELNS:36))
	  (VECTOR CLASS:NO:RELNS:36 (VECTOR PULLOUT RESULT:6 (VECTOR GETP NAME:OF:CLASS CLASS:NO:RELNS:36)))
	  (VECTOR RESULT:6 (VECTOR PUT NAME:OF:CLASS CLASS:NO:RELNS:36 (VECTOR PULLOUT RESULT:6 (VECTOR GETP 
												      NAME:OF:CLASS 
												  CLASS:NO:RELNS:36))))
	  (VECTOR ELEMENT:RELNS:15)
	  (VECTOR NO:RELNS:29 ELEMENT:RELNS:15)
	  (VECTOR CONDITIONAL:DELETION:52 ARG1 ARG2)
	  (VECTOR CLASS:YES:RELNS:35)
	  (VECTOR RESULT:5 (VECTOR GETP NAME:OF:CLASS CLASS:YES:RELNS:35))
	  (VECTOR CLASS:YES:RELNS:35 (VECTOR PULLOUT RESULT:5 (VECTOR GETP NAME:OF:CLASS CLASS:YES:RELNS:35)))
	  (VECTOR RESULT:5 (VECTOR PUT NAME:OF:CLASS CLASS:YES:RELNS:35 (VECTOR PULLOUT RESULT:5 (VECTOR GETP 
												      NAME:OF:CLASS 
												 CLASS:YES:RELNS:35))))
	  (VECTOR ELEMENT:RELNS:15)
	  (VECTOR YES:RELNS:28 ELEMENT:RELNS:15)
	  (VECTOR CONDITIONAL:DELETION:51 ARG1 ARG2)
	  (VECTOR BETTER:38)
	  (VECTOR CLASS:OBJECTS:33)
	  (VECTOR RESULT:4 (VECTOR GETP NAME:OF:CLASS CLASS:OBJECTS:33)
		  BETTER)
	  (VECTOR CLASS:OBJECTS:33 (VECTOR MERGE:IN RESULT:4 (VECTOR GETP NAME:OF:CLASS CLASS:OBJECTS:33)
					   BETTER))
	  (VECTOR RESULT:4 NIL)
	  (VECTOR POSSIBLE:NAME:OF:CLASS:OBJECTS:20)
	  (VECTOR ELEMENT:OBJECTS:11 POSSIBLE:NAME:OF:CLASS:OBJECTS:20)
	  (VECTOR CONDITIONAL:INSERTION:50 ARG1 ARG2)
	  (VECTOR MAYBE:RELNS:30 POSSIBLE:NAME:OF:CLASS)
	  (VECTOR MODIFY:STRUCTURE:49 MAYBE:RELNS:30 POSSIBLE:NAME:OF:CLASS)
	  (VECTOR NO:RELNS:29 POSSIBLE:NAME:OF:CLASS)
	  (VECTOR MODIFY:STRUCTURE:48 NO:RELNS:29 POSSIBLE:NAME:OF:CLASS)
	  (VECTOR YES:RELNS:28 POSSIBLE:NAME:OF:CLASS)
	  (VECTOR MODIFY:STRUCTURE:47 YES:RELNS:28 POSSIBLE:NAME:OF:CLASS)
	  (VECTOR COMPLEX:ALTERATION:46 POSSIBLE:NAME:OF:CLASS)
	  (VECTOR MAYBE:RELNS:30 NAME:OF:CLASS)
	  (VECTOR MODIFY:STRUCTURE:42 MAYBE:RELNS:30 NAME:OF:CLASS)
	  (VECTOR NO:RELNS:29 NAME:OF:CLASS)
	  (VECTOR MODIFY:STRUCTURE:41 NO:RELNS:29 NAME:OF:CLASS)
	  (VECTOR YES:RELNS:28 NAME:OF:CLASS)
	  (VECTOR MODIFY:STRUCTURE:40 YES:RELNS:28 NAME:OF:CLASS)
	  (VECTOR POSSIBLE:NAME:OF:CLASS:OBJECTS:20 NAME:OF:CLASS)
	  (VECTOR MODIFY:STRUCTURE:39 POSSIBLE:NAME:OF:CLASS:OBJECTS:20 NAME:OF:CLASS)
	  (VECTOR BETTER:38)
	  (VECTOR RESULT:3)
	  (VECTOR BETTER:38)
	  (VECTOR RESULT:3 SET:OF:POSSIBLE:NAMES:OF:CLASS BETTER)
	  (VECTOR RESULT:3)
	  (VECTOR RESULT:3 NOTHING)
	  (VECTOR RESULT:3 SET:OF:POSSIBLE:NAMES:OF:CLASS)
	  (VECTOR COMPLEX:ALTERATION:45 ARG1)
	  (VECTOR CONDITIONAL:INSERTION:44 ARG1)
	  (VECTOR SIMPLE:COMPARE:FN:43)
	  (VECTOR MAYBE:RELNS:30 NAME:OF:CLASS)
	  (VECTOR MODIFY:STRUCTURE:42 MAYBE:RELNS:30 NAME:OF:CLASS)
	  (VECTOR NO:RELNS:29 NAME:OF:CLASS)
	  (VECTOR MODIFY:STRUCTURE:41 NO:RELNS:29 NAME:OF:CLASS)
	  (VECTOR YES:RELNS:28 NAME:OF:CLASS)
	  (VECTOR MODIFY:STRUCTURE:40 YES:RELNS:28 NAME:OF:CLASS)
	  (VECTOR POSSIBLE:NAME:OF:CLASS:OBJECTS:20 NAME:OF:CLASS)
	  (VECTOR MODIFY:STRUCTURE:39 POSSIBLE:NAME:OF:CLASS:OBJECTS:20 NAME:OF:CLASS)
	  (VECTOR BETTER:38)
	  (VECTOR RESULT:2)
	  (VECTOR BETTER:38)
	  (VECTOR RESULT:2 SET:OF:POSSIBLE:NAMES:OF:CLASS BETTER)
	  (VECTOR RESULT:2)
	  (VECTOR INITIAL:VALUE:OF:MAYBE:RELNS:30)
	  (VECTOR CLASS:MAYBE:RELNS:37 INITIAL:VALUE:OF:MAYBE:RELNS:30)
	  (VECTOR INITIAL:VALUE:OF:NO:RELNS:29)
	  (VECTOR CLASS:NO:RELNS:36 INITIAL:VALUE:OF:NO:RELNS:29)
	  (VECTOR INITIAL:VALUE:OF:YES:RELNS:28)
	  (VECTOR CLASS:YES:RELNS:35 INITIAL:VALUE:OF:YES:RELNS:28)
	  (VECTOR INITIAL:VALUE:OF:POSSIBLE:NAME:OF:CLASS:CLASSNAME:21)
	  (VECTOR CLASS:CLASSNAME:34 INITIAL:VALUE:OF:POSSIBLE:NAME:OF:CLASS:CLASSNAME:21)
	  (VECTOR INITIAL:VALUE:OF:POSSIBLE:NAME:OF:CLASS:OBJECTS:20)
	  (VECTOR CLASS:OBJECTS:33 INITIAL:VALUE:OF:POSSIBLE:NAME:OF:CLASS:OBJECTS:20)
	  (VECTOR RESULT:2 NOTHING)
	  (VECTOR RESULT:2 SET:OF:POSSIBLE:NAMES:OF:CLASS)
	  (VECTOR COMPLEX:ALTERATION:32 ARG1)
	  (VECTOR CONDITIONAL:INSERTION:31 ARG1)
	  (VECTOR NO:RELNS:29)
	  (VECTOR YES:RELNS:28)
	  (VECTOR ELEMENT:RELNS:15)
	  (VECTOR CONTRADICTS:27 RELATION ELEMENT:RELNS:15)
	  (VECTOR (APPEND YES:RELNS:28 NO:RELNS:29 MAYBE:RELNS:30)
		  (VECTOR RECOGNIZE:# RELATION ELEMENT:RELNS:15))
	  (VECTOR ELEMENT:RELNS:15)
	  (VECTOR (APPEND YES:RELNS:28 NO:RELNS:29 MAYBE:RELNS:30)
		  ELEMENT:RELNS:15)
	  (VECTOR COMPARE:26 (APPEND YES:RELNS:28 NO:RELNS:29 MAYBE:RELNS:30)
		  ELEMENT:RELNS:15)
	  (VECTOR ELEMENT:CLASSNAME:13)
	  (VECTOR POSSIBLE:NAME:OF:CLASS:CLASSNAME:21 ELEMENT:CLASSNAME:13)
	  (VECTOR COMPARE:25 POSSIBLE:NAME:OF:CLASS:CLASSNAME:21 ELEMENT:CLASSNAME:13)
	  (VECTOR ELEMENT:OBJECTS:11)
	  (VECTOR POSSIBLE:NAME:OF:CLASS:OBJECTS:20 ELEMENT:OBJECTS:11)
	  (VECTOR COMPARE:24 POSSIBLE:NAME:OF:CLASS:OBJECTS:20 ELEMENT:OBJECTS:11)
	  (VECTOR JOIN:23 (VECTOR COMPARE POSSIBLE:NAME:OF:CLASS:OBJECTS:20 ELEMENT:OBJECTS:11)
		  (VECTOR COMPARE POSSIBLE:NAME:OF:CLASS:CLASSNAME:21 ELEMENT:CLASSNAME:13)
		  (VECTOR COMPARE (APPEND YES:RELNS:28 NO:RELNS:29 MAYBE:RELNS:30)
			  ELEMENT:RELNS:15))
	  (VECTOR ELEMENT:4)
	  (VECTOR COMPARE:19 ARG1 ELEMENT:4)
	  (VECTOR LABEL:2)
	  (VECTOR RESULT:1 NIL)
	  (VECTOR LABEL:2 (VECTOR COND (VECTOR (VECTOR NULL EVAL:ARG3)
					       (VECTOR SET ARG1 FAILURE:VALUE)
					       (VECTOR RETURN EXHAUSTION:VALUE)))
		  (VECTOR SET ARG1 (VECTOR CAR EVAL:ARG3))
		  (VECTOR SETQ EVAL:ARG3 (VECTOR CDR EVAL:ARG3))
		  (VECTOR SETQ RESULT:1 (VECTOR EVAL ARG5))
		  (VECTOR COND (VECTOR (VECTOR NOT (VECTOR EQUAL RESULT:1 NIL))
				       (VECTOR RETURN UNTIL:CONDITION:VALUE))
			  (VECTOR T (VECTOR GO LABEL:2)))
		  (VECTOR COMMENT AT THE TIME THAT FOREACH:17 WAS CODED, THE UNTIL CONDITION VALUE WAS LEFT UNDEFINED))
	  (VECTOR RESULT:1)
	  (VECTOR TEST:18 POSSIBLE:NAME:OF:CLASS (VECTOR COMMENT FOR SATISFACTION OF GOAL CRITERIA))
	  (VECTOR FOREACH:17 POSSIBLE:NAME:OF:CLASS IN SET:OF:POSSIBLE:NAMES:OF:CLASS DO
		  (VECTOR TEST POSSIBLE:NAME:OF:CLASS (VECTOR COMMENT FOR SATISFACTION OF GOAL CRITERIA)))
	  (VECTOR SOME:PART:OF:16 ARG1)
	  (VECTOR SOME:PART:OF:14 ARG1)
	  (VECTOR SOME:PART:OF:12 ARG1)
	  (VECTOR SOME:PART:OF:16 ARG1)
	  (VECTOR SOME:PART:OF:14 ARG1)
	  (VECTOR SOME:PART:OF:12 ARG1)
	  (VECTOR MODIFY:STRUCTURE:9 NAME:OF:CLASS)
	  (VECTOR GET:HOLD:OF:8 NAME:OF:CLASS)
	  (VECTOR MODIFY:STRUCTURE:7 NAME:OF:CLASS)
	  (VECTOR TAKE:HOLD:OF:6 NAME:OF:CLASS)
	  (VECTOR ELEMENT:4 (VECTOR COMMENT PARTITION:BY:TAKE:ELE:AND:CLASS))
	  (VECTOR HAS:NAME:5 ELEMENT (VECTOR COMMENT PARTITION:BY:TAKE:ELE:AND:CLASS))
	  (VECTOR ELEMENT:4)
	  (VECTOR TAKE:HOLD:OF:3 ELEMENT)
	  (VECTOR PAD:2)))
  (RPAQQ FRAG1 (IS))
  (RPAQQ FRAG2 NIL)
  (RPAQQ FRINGE:CONCIOUS:LIST ((VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR BETTER)
				       AS CNAME WHICH IS BETTER:38)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR BETTER))))
  (RPAQQ GLOBAL:INITIALIZATION:LIST ((SETQQ MAYBE:RELNS:30 MAYBE:RELNS:30)
	  (SETQQ ELEMENT:RELNS:15 ELEMENT:RELNS:15)
	  (SETQQ ELEMENT:RELNS:15 ELEMENT:RELNS:15)
	  (SETQQ MAYBE:RELNS:30 MAYBE:RELNS:30)
	  (SETQQ MAYBE:RELNS:30 MAYBE:RELNS:30)
	  (SETQQ NO:RELNS:29 NO:RELNS:29)
	  (SETQQ YES:RELNS:28 YES:RELNS:28)
	  (SETQQ ELEMENT:RELNS:15 ELEMENT:RELNS:15)
	  (SETQQ ELEMENT:RELNS:15 ELEMENT:RELNS:15)
	  (SETQQ NO:RELNS:29 NO:RELNS:29)
	  (SETQQ ELEMENT:RELNS:15 ELEMENT:RELNS:15)
	  (SETQQ YES:RELNS:28 YES:RELNS:28)
	  (SETQQ POSSIBLE:NAME:OF:CLASS:OBJECTS:20 POSSIBLE:NAME:OF:CLASS:OBJECTS:20)
	  (SETQQ ELEMENT:OBJECTS:11 ELEMENT:OBJECTS:11)
	  (SETQQ NOTHING NOTHING)
	  (SETQQ NOTHING NOTHING)
	  (SETQQ CLASS:MAYBE:RELNS:37 CLASS:MAYBE:RELNS:37)
	  (SETQQ CLASS:NO:RELNS:36 CLASS:NO:RELNS:36)
	  (SETQQ CLASS:YES:RELNS:35 CLASS:YES:RELNS:35)
	  (SETQQ CLASS:CLASSNAME:34 CLASS:CLASSNAME:34)
	  (SETQQ CLASS:OBJECTS:33 CLASS:OBJECTS:33)
	  (SETQQ ??? ???)))
  (RPAQQ INITIALIZE:VAR:LIST NIL)
  (RPAQQ IS:BEING:LIST
	 (CONDITIONAL:INSERTION:55 MODIFY:STRUCTURE:48 CONDITIONAL:INSERTION:54 MODIFY:STRUCTURE:47 
				   CONDITIONAL:INSERTION:53 MODIFY:STRUCTURE:42 CONDITIONAL:DELETION:52 
				   MODIFY:STRUCTURE:41 CONDITIONAL:DELETION:51 MODIFY:STRUCTURE:40 
				   CONDITIONAL:INSERTION:50 MODIFY:STRUCTURE:39 COMPLEX:ALTERATION:46 
				   COMPLEX:ALTERATION:45 CONDITIONAL:INSERTION:44 MODIFY:STRUCTURE:9 
				   SIMPLE:COMPARE:FN:43 BETTER:38 COMPLEX:ALTERATION:32 CONDITIONAL:INSERTION:31 
				   NAME:OF:CLASS SET:OF:POSSIBLE:NAMES:OF:CLASS MAYBE:RELNS:30 NO:RELNS:29 YES:RELNS:28 
				   POSSIBLE:NAME:OF:CLASS:CLASSNAME:21 POSSIBLE:NAME:OF:CLASS:OBJECTS:20 
				   MODIFY:STRUCTURE:7 CONTRADICTS:27 POSSIBLE:NAME:OF:CLASS:RELNS:22 COMPARE:26 
				   COMPARE:25 COMPARE:24 JOIN:23 COMPARE:19 POSSIBLE:NAME:OF:CLASS TEST:18 FOREACH:17 
				   GET:HOLD:OF:8 TAKE:HOLD:OF:6 TAKE:HOLD:OF:3 HAS:NAME:5 ELEMENT:4 STATIC:SCENE:10 
				   PAD:2 CF:1 ADD:DEFINITION ADJECTIVE:HANDLER ANALYZE:IMPLICATIONS ASK:USER:ABOUT 
				   BETTER CHOOSE:FROM CLARIFY:IMPROBABLE:SITUATION CLASSIFICATORY:CONCEPT:FORMATION 
				   COMPARE COMPARITIVE:CONCEPT:FORMATION COMPLEX:ALTERATION COMPLEX:COMPARE:FN 
				   CONCEPT:FORMATION CONDITIONAL:DELETION CONDITIONAL:INSERTION 
				   DATA:STRUCTURE:DELETIONS DATA:STRUCTURE:INSERTIONS DEFER:DECISION ELEMENT ENCODE 
				   EXTRACT:RELEVANT:SUBSET FILL:IN:UNDEFINED:SECTION FOREACH GET:DATA:STRUCTURE 
				   GET:HOLD:OF GET:NAME GET:NEW:INFORMATION IS:OF:TYPE JOINING:FUNCTION LIST:STRUCTURE 
				   MAKE:A:GUESS MAKE:ENCODABLE MAKE:NEW:BEING MESSAGE METRICAL:CONCEPT:FORMATION 
				   MODIFY:STRUCTURE OBTAIN:USABLE:INFORMATION PARTITION:A:DOMAIN 
				   PARTITION:BY:TAKE:CLASS:GET:ELE PARTITION:BY:TAKE:ELE:AND:CLASS 
				   PARTITION:BY:TAKE:ELE:GET:CLASS PROBABILITY=0:# PROBABILITY=1:# PROBABILITY>0&<1:# 
				   PROPOSE:PLAUSIBLE:NAMES RECOGNIZE:# RECOGNIZE:ARGS RECOGNIZE:CAR 
				   RECOGNIZE:CONDITIONAL RECOGNIZE:CONJUNCTION RECOGNIZE:EQUALITY 
				   RECOGNIZE:FUNCTION:RETURNS RECOGNIZE:INCLUSION RECOGNIZE:LITERALS 
				   RECOGNIZE:SET:RELATIONS RECOGNIZE:SOME:MEMBER REINVESTIGATE:DECISION REPEATEDLY 
				   RESOLVE:DECISION SATISFY SCENE SEARCH SERVE SIMPLE:COMPARE:FN SOME:PART:OF 
				   STUDY:TYPE TAKE:HOLD:OF TEST TRANSLATE USE:INFORMATION UTILIZE WHEN:NEXT 
				   WRITE:PROGRAM))
  (RPAQQ IS:DEFINED:LIST ((VECTOR ELEMENT:4 IS (STRUCTURE (OBJECTS SET O)
							  (CLASS:NAME NAME N)
							  (STATIC RELATIONS S BETWEEN OBJECTS)))
	  (VECTOR HAS:NAME:5 IS (VECTOR NOT (VECTOR EQUAL (VECTOR CAR ARG1)
						    ???)))))
  (RPAQQ IS:SPECIFIC:LIST ((VECTOR MORE INFO RELEVANT TO MAKING (VECTOR HAS:NAME:5 TYPE OF (VECTOR IS:OF:TYPE))
				   CODABLE)
	  (VECTOR MORE INFO RELEVANT TO MAKING (VECTOR ELEMENT:4 TYPE OF (VECTOR ELEMENT))
		  CODABLE)
	  (VECTOR ANY TASK)))
  (RPAQQ IS:STRUCTURE:LIST (NAME:OF:CLASS SET:OF:POSSIBLE:NAMES:OF:CLASS (VECTOR SET:OF:POSSIBLE:NAMES:OF:CLASS 
										 POSSIBLE:NAME:OF:CLASS)
					  POSSIBLE:NAME:OF:CLASS
					  (VECTOR POSSIBLE:NAME:OF:CLASS NIL)
					  POSSIBLE:NAME:OF:CLASS:OBJECTS:20 POSSIBLE:NAME:OF:CLASS:CLASSNAME:21 
					  YES:RELNS:28 NO:RELNS:29 MAYBE:RELNS:30 (VECTOR 
										  POSSIBLE:NAME:OF:CLASS:OBJECTS:20 NIL)
					  (VECTOR POSSIBLE:NAME:OF:CLASS:CLASSNAME:21 NIL)
					  (VECTOR YES:RELNS:28 NIL)
					  (VECTOR NO:RELNS:29 NIL)
					  (VECTOR MAYBE:RELNS:30 NIL)))
  (RPAQQ KNOWN:NAMES NIL)
  (RPAQQ LOOP:TERMINATION:LIST ((COMPARE:24 T)
	  (COMPARE:25 T)
	  (COMPARE:26 ((APPEND YES:RELNS:28 NO:RELNS:29 MAYBE:RELNS:30)
		       (FORSOME RELATION IN (APPEND YES:RELNS:28 NO:RELNS:29 MAYBE:RELNS:30)
				(RECOGNIZE:# RELATION ELEMENT:RELNS:15)))
		      T
		      (VECTOR T NIL))))
  (RPAQQ MATCH:RESULT T)
  (RPAQQ MEMBER:OF:LIST ((RELATION (APPEND YES:RELNS:28 NO:RELNS:29 MAYBE:RELNS:30))))
  (RPAQQ NAMED:EXPRESSION:LIST ((VECTOR CONDITIONAL:INSERTION)
	  (VECTOR CONDITIONAL:INSERTION)
	  (VECTOR CONDITIONAL:INSERTION)
	  (VECTOR CONDITIONAL:DELETION)
	  (VECTOR CONDITIONAL:DELETION)
	  (VECTOR CONDITIONAL:INSERTION)
	  (VECTOR MODIFY:STRUCTURE)
	  (VECTOR MODIFY:STRUCTURE)
	  (VECTOR MODIFY:STRUCTURE)
	  (VECTOR COMPLEX:ALTERATION)
	  (VECTOR COMPLEX:ALTERATION)
	  (VECTOR CONDITIONAL:INSERTION)
	  (VECTOR SIMPLE:COMPARE:FN)
	  (VECTOR MODIFY:STRUCTURE)
	  (VECTOR MODIFY:STRUCTURE)
	  (VECTOR MODIFY:STRUCTURE)
	  (VECTOR MODIFY:STRUCTURE)
	  (VECTOR BETTER)
	  (VECTOR STATIC RELATIONS MAYBE:RELNS:30 BETWEEN OBJECTS)
	  (VECTOR STATIC RELATIONS NO:RELNS:29 BETWEEN OBJECTS)
	  (VECTOR STATIC RELATIONS YES:RELNS:28 BETWEEN OBJECTS)
	  (VECTOR CLASS:NAME NAME POSSIBLE:NAME:OF:CLASS:CLASSNAME:21)
	  (VECTOR OBJECTS SET POSSIBLE:NAME:OF:CLASS:OBJECTS:20)
	  (VECTOR COMPLEX:ALTERATION)
	  (VECTOR CONDITIONAL:INSERTION)
	  (VECTOR PROBABILITY>0&<1:#:PART:OF:POSSIBLE:NAME:OF:CLASS:RELNS)
	  (VECTOR PROBABILITY:0:#:PART:OF:POSSIBLE:NAME:OF:CLASS:RELNS)
	  (VECTOR PROBABILITY:1:#:PART:OF:POSSIBLE:NAME:OF:CLASS:RELNS)
	  (VECTOR RECOGNIZE:#)
	  (VECTOR COMPARE)
	  (VECTOR COMPARE)
	  (VECTOR COMPARE)
	  (VECTOR JOINING:FUNCTION)
	  (VECTOR COMPARE)
	  (VECTOR TEST)
	  (VECTOR FOREACH)
	  (VECTOR SOME:PART:OF)
	  (VECTOR STATIC:RELATIONS:S:BETWEEN:OBJECTS)
	  (VECTOR SOME:PART:OF)
	  (VECTOR CLASS:NAME:NAME:N)
	  (VECTOR SOME:PART:OF)
	  (VECTOR OBJECTS:SET:O)
	  (VECTOR STATIC VECTOR SCENE)
	  (VECTOR MODIFY:STRUCTURE)
	  (VECTOR GET:HOLD:OF)
	  (VECTOR MODIFY:STRUCTURE)
	  (VECTOR TAKE:HOLD:OF)
	  (VECTOR IS:OF:TYPE)
	  (VECTOR ELEMENT)
	  (VECTOR TAKE:HOLD:OF)
	  (VECTOR PARTITION:A:DOMAIN)
	  (VECTOR CONCEPT:FORMATION)))
  (RPAQQ NEW:INFO:LIST NIL)
  (RPAQQ NEW:THING:LIST (ELEMENT:4 ELEMENT:RELNS:15 ELEMENT:CLASSNAME:13 ELEMENT:OBJECTS:11))
  (RPAQQ PART:INTERSECTION:LIST NIL)
  (RPAQQ PARTITIONED:DOMAIN:LIST NIL)
  (RPAQQ PLAUSIBLE:NAMES:LIST ((VECTOR FOR (VECTOR CONDITIONAL:DELETION)
				       HAVE BEEN STUDIED)
	  (VECTOR FOR (VECTOR SIMPLE:COMPARE:FN)
		  HAVE BEEN STUDIED)
	  (VECTOR FOR (VECTOR BETTER)
		  HAVE BEEN STUDIED)
	  (VECTOR FOR (VECTOR STATIC RELATIONS MAYBE:RELNS:30 BETWEEN OBJECTS)
		  HAVE BEEN STUDIED)
	  (VECTOR FOR (VECTOR STATIC RELATIONS NO:RELNS:29 BETWEEN OBJECTS)
		  HAVE BEEN STUDIED)
	  (VECTOR FOR (VECTOR STATIC RELATIONS YES:RELNS:28 BETWEEN OBJECTS)
		  HAVE BEEN STUDIED)
	  (VECTOR FOR (VECTOR CLASS:NAME NAME POSSIBLE:NAME:OF:CLASS:CLASSNAME:21)
		  HAVE BEEN STUDIED)
	  (VECTOR FOR (VECTOR OBJECTS SET POSSIBLE:NAME:OF:CLASS:OBJECTS:20)
		  HAVE BEEN STUDIED)
	  (VECTOR FOR (VECTOR COMPLEX:ALTERATION)
		  HAVE BEEN STUDIED)
	  (VECTOR FOR (VECTOR CONDITIONAL:INSERTION)
		  HAVE BEEN STUDIED)
	  (VECTOR FOR (VECTOR PROBABILITY>0&<1:#:PART:OF:POSSIBLE:NAME:OF:CLASS:RELNS)
		  HAVE BEEN STUDIED)
	  (VECTOR FOR (VECTOR PROBABILITY:0:#:PART:OF:POSSIBLE:NAME:OF:CLASS:RELNS)
		  HAVE BEEN STUDIED)
	  (VECTOR FOR (VECTOR PROBABILITY:1:#:PART:OF:POSSIBLE:NAME:OF:CLASS:RELNS)
		  HAVE BEEN STUDIED)
	  (VECTOR FOR (VECTOR RECOGNIZE:#)
		  HAVE BEEN STUDIED)
	  (VECTOR FOR (VECTOR JOINING:FUNCTION)
		  HAVE BEEN STUDIED)
	  (VECTOR FOR (VECTOR COMPARE)
		  HAVE BEEN STUDIED)
	  (VECTOR FOR (VECTOR TEST)
		  HAVE BEEN STUDIED)
	  (VECTOR FOR (VECTOR FOREACH)
		  HAVE BEEN STUDIED)
	  (VECTOR FOR (VECTOR STATIC:RELATIONS:S:BETWEEN:OBJECTS)
		  HAVE BEEN STUDIED)
	  (VECTOR FOR (VECTOR CLASS:NAME:NAME:N)
		  HAVE BEEN STUDIED)
	  (VECTOR FOR (VECTOR SOME:PART:OF)
		  HAVE BEEN STUDIED)
	  (VECTOR FOR (VECTOR OBJECTS:SET:O)
		  HAVE BEEN STUDIED)
	  (VECTOR FOR (VECTOR STATIC VECTOR SCENE)
		  HAVE BEEN STUDIED)
	  (VECTOR FOR (VECTOR GET:HOLD:OF)
		  HAVE BEEN STUDIED)
	  (VECTOR FOR (VECTOR MODIFY:STRUCTURE)
		  HAVE BEEN STUDIED)
	  (VECTOR FOR (VECTOR IS:OF:TYPE)
		  HAVE BEEN STUDIED)
	  (VECTOR FOR (VECTOR ELEMENT)
		  HAVE BEEN STUDIED)
	  (VECTOR FOR (VECTOR TAKE:HOLD:OF)
		  HAVE BEEN STUDIED)
	  (VECTOR FOR (VECTOR PARTITION:A:DOMAIN)
		  HAVE BEEN STUDIED)
	  (VECTOR FOR (VECTOR CONCEPT:FORMATION)
		  HAVE BEEN STUDIED)))
  (RPAQQ PUP:STUDIED:LIST ((VECTOR TYPE OF (VECTOR CONDITIONAL:INSERTION))
	  (VECTOR TYPE OF (VECTOR MODIFY:STRUCTURE))
	  (VECTOR TYPE OF (VECTOR CONDITIONAL:INSERTION))
	  (VECTOR TYPE OF (VECTOR MODIFY:STRUCTURE))
	  (VECTOR TYPE OF (VECTOR CONDITIONAL:INSERTION))
	  (VECTOR TYPE OF (VECTOR MODIFY:STRUCTURE))
	  (VECTOR TYPE OF (VECTOR MAYBE:RELNS:30))
	  (VECTOR TYPE OF (VECTOR CONDITIONAL:DELETION))
	  (VECTOR TYPE OF (VECTOR MODIFY:STRUCTURE))
	  (VECTOR TYPE OF (VECTOR NO:RELNS:29))
	  (VECTOR TYPE OF (VECTOR CONDITIONAL:DELETION))
	  (VECTOR PLAUSIBLE NAMES FOR (VECTOR CONDITIONAL:DELETION))
	  (VECTOR TYPE OF (VECTOR MODIFY:STRUCTURE))
	  (VECTOR TYPE OF (VECTOR YES:RELNS:28))
	  (VECTOR TYPE OF (VECTOR CONDITIONAL:INSERTION))
	  (VECTOR TYPE OF (VECTOR MODIFY:STRUCTURE))
	  (VECTOR TYPE OF (VECTOR POSSIBLE:NAME:OF:CLASS:OBJECTS:20))
	  (VECTOR TYPE OF (VECTOR COMPLEX:ALTERATION))
	  (VECTOR TYPE OF (VECTOR POSSIBLE:NAME:OF:CLASS))
	  (VECTOR TYPE OF (VECTOR COMPLEX:ALTERATION))
	  (VECTOR TYPE OF (VECTOR CONDITIONAL:INSERTION))
	  (VECTOR TYPE OF (VECTOR MODIFY:STRUCTURE))
	  (VECTOR TYPE OF (VECTOR NAME:OF:CLASS))
	  (VECTOR TYPE OF (VECTOR SIMPLE:COMPARE:FN))
	  (VECTOR PLAUSIBLE NAMES FOR (VECTOR SIMPLE:COMPARE:FN))
	  (VECTOR TYPE OF (VECTOR BETTER))
	  (VECTOR TYPE OF (VECTOR COMPLEX:ALTERATION))
	  (VECTOR PLAUSIBLE NAMES FOR (VECTOR BETTER))
	  (VECTOR TYPE OF (VECTOR CONDITIONAL:INSERTION))
	  (VECTOR PLAUSIBLE NAMES FOR (VECTOR STATIC RELATIONS MAYBE:RELNS:30 BETWEEN OBJECTS))
	  (VECTOR PLAUSIBLE NAMES FOR (VECTOR STATIC RELATIONS NO:RELNS:29 BETWEEN OBJECTS))
	  (VECTOR PLAUSIBLE NAMES FOR (VECTOR STATIC RELATIONS YES:RELNS:28 BETWEEN OBJECTS))
	  (VECTOR PLAUSIBLE NAMES FOR (VECTOR CLASS:NAME NAME POSSIBLE:NAME:OF:CLASS:CLASSNAME:21))
	  (VECTOR PLAUSIBLE NAMES FOR (VECTOR OBJECTS SET POSSIBLE:NAME:OF:CLASS:OBJECTS:20))
	  (VECTOR PLAUSIBLE NAMES FOR (VECTOR COMPLEX:ALTERATION))
	  (VECTOR PLAUSIBLE NAMES FOR (VECTOR CONDITIONAL:INSERTION))
	  (VECTOR TYPE OF (VECTOR MODIFY:STRUCTURE))
	  (VECTOR PLAUSIBLE NAMES FOR (VECTOR PROBABILITY>0&<1:#:PART:OF:POSSIBLE:NAME:OF:CLASS:RELNS))
	  (VECTOR PLAUSIBLE NAMES FOR (VECTOR PROBABILITY:0:#:PART:OF:POSSIBLE:NAME:OF:CLASS:RELNS))
	  (VECTOR PLAUSIBLE NAMES FOR (VECTOR PROBABILITY:1:#:PART:OF:POSSIBLE:NAME:OF:CLASS:RELNS))
	  (VECTOR TYPE OF (VECTOR RECOGNIZE:#))
	  (VECTOR PLAUSIBLE NAMES FOR (VECTOR RECOGNIZE:#))
	  (VECTOR TYPE OF (VECTOR COMPARE))
	  (VECTOR TYPE OF (VECTOR COMPARE))
	  (VECTOR TYPE OF (VECTOR COMPARE))
	  (VECTOR TYPE OF (VECTOR JOINING:FUNCTION))
	  (VECTOR PLAUSIBLE NAMES FOR (VECTOR JOINING:FUNCTION))
	  (VECTOR TYPE OF (VECTOR COMPARE))
	  (VECTOR TYPE OF (VECTOR ELEMENT:4))
	  (VECTOR PLAUSIBLE NAMES FOR (VECTOR COMPARE))
	  (VECTOR TYPE OF (VECTOR TEST))
	  (VECTOR TYPE OF (VECTOR FOREACH))
	  (VECTOR TYPE OF (VECTOR DO))
	  (VECTOR TYPE OF (VECTOR IN))
	  (VECTOR PLAUSIBLE NAMES FOR (VECTOR TEST))
	  (VECTOR PLAUSIBLE NAMES FOR (VECTOR FOREACH))
	  (VECTOR TYPE OF (VECTOR GET:HOLD:OF))
	  (VECTOR TYPE OF (VECTOR TAKE:HOLD:OF))
	  (VECTOR PLAUSIBLE NAMES FOR (VECTOR STATIC:RELATIONS:S:BETWEEN:OBJECTS))
	  (VECTOR PLAUSIBLE NAMES FOR (VECTOR CLASS:NAME:NAME:N))
	  (VECTOR PLAUSIBLE NAMES FOR (VECTOR SOME:PART:OF))
	  (VECTOR PLAUSIBLE NAMES FOR (VECTOR OBJECTS:SET:O))
	  (VECTOR TYPE OF (VECTOR TAKE:HOLD:OF))
	  (VECTOR TYPE OF (VECTOR IS:OF:TYPE))
	  (VECTOR PLAUSIBLE NAMES FOR (VECTOR STATIC VECTOR SCENE))
	  (VECTOR TYPE OF (VECTOR ELEMENT))
	  (VECTOR PLAUSIBLE NAMES FOR (VECTOR GET:HOLD:OF))
	  (VECTOR PLAUSIBLE NAMES FOR (VECTOR MODIFY:STRUCTURE))
	  (VECTOR PLAUSIBLE NAMES FOR (VECTOR IS:OF:TYPE))
	  (VECTOR PLAUSIBLE NAMES FOR (VECTOR ELEMENT))
	  (VECTOR PLAUSIBLE NAMES FOR (VECTOR TAKE:HOLD:OF))
	  (VECTOR TYPE OF (VECTOR PARTITION:A:DOMAIN))
	  (VECTOR PLAUSIBLE NAMES FOR (VECTOR PARTITION:A:DOMAIN))
	  (VECTOR TYPE OF (VECTOR CONCEPT:FORMATION))
	  (VECTOR PLAUSIBLE NAMES FOR (VECTOR CONCEPT:FORMATION))))
  (RPAQQ PUP:WANTED:LIST ((VECTOR ANY TASK)))
  (RPAQQ PUP:WANTS:LIST ((VECTOR MORE INFO RELEVANT TO MAKING (VECTOR HAS:NAME:5 TYPE OF (VECTOR IS:OF:TYPE))
				 CODABLE)
	  (VECTOR MORE INFO RELEVANT TO MAKING (VECTOR ELEMENT:4 TYPE OF (VECTOR ELEMENT))
		  CODABLE)))
  (RPAQQ READ:USER:LIST ((VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR BETTER)
				 AS CNAME WHICH IS BETTER:38)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR BETTER))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR CONDITIONAL:INSERTION)
		  AS CNAME WHICH IS CONDITIONAL:INSERTION:55)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR CONDITIONAL:INSERTION))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR BETTER)
		  AS CNAME WHICH IS BETTER:38)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR BETTER))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR CONDITIONAL:INSERTION)
		  AS CNAME WHICH IS CONDITIONAL:INSERTION:54)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR CONDITIONAL:INSERTION))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR BETTER)
		  AS CNAME WHICH IS BETTER:38)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR BETTER))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR CONDITIONAL:INSERTION)
		  AS CNAME WHICH IS CONDITIONAL:INSERTION:53)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR CONDITIONAL:INSERTION))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR CONDITIONAL:DELETION)
		  AS CNAME WHICH IS CONDITIONAL:DELETION:52)
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR CONDITIONAL:DELETION)
		  AS CNAME WHICH IS CONDITIONAL:DELETION:51)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR CONDITIONAL:DELETION))
	  (VECTOR (VECTOR C:D CONDITIONAL:DELETION C CD)
		  IS THE SET OF PLAUSIBLE NAMES OF (VECTOR CONDITIONAL DELETION)
		  WHICH IS AN EXPANSION OF (VECTOR CONDITIONAL:DELETION))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR BETTER)
		  AS CNAME WHICH IS BETTER:38)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR BETTER))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR CONDITIONAL:INSERTION)
		  AS CNAME WHICH IS CONDITIONAL:INSERTION:50)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR CONDITIONAL:INSERTION))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR MODIFY:STRUCTURE)
		  AS CNAME WHICH IS MODIFY:STRUCTURE:49)
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR MODIFY:STRUCTURE)
		  AS CNAME WHICH IS MODIFY:STRUCTURE:48)
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR MODIFY:STRUCTURE)
		  AS CNAME WHICH IS MODIFY:STRUCTURE:47)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR MODIFY:STRUCTURE))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR COMPLEX:ALTERATION)
		  AS CNAME WHICH IS COMPLEX:ALTERATION:46)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR COMPLEX:ALTERATION))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR MODIFY:STRUCTURE)
		  AS CNAME WHICH IS MODIFY:STRUCTURE:42)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR MODIFY:STRUCTURE))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR MODIFY:STRUCTURE)
		  AS CNAME WHICH IS MODIFY:STRUCTURE:41)
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR MODIFY:STRUCTURE)
		  AS CNAME WHICH IS MODIFY:STRUCTURE:40)
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR MODIFY:STRUCTURE)
		  AS CNAME WHICH IS MODIFY:STRUCTURE:39)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR MODIFY:STRUCTURE))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR BETTER)
		  AS CNAME WHICH IS BETTER:38)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR BETTER))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR COMPLEX:ALTERATION)
		  AS CNAME WHICH IS COMPLEX:ALTERATION:45)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR COMPLEX:ALTERATION))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR CONDITIONAL:INSERTION)
		  AS CNAME WHICH IS CONDITIONAL:INSERTION:44)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR CONDITIONAL:INSERTION))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR SIMPLE:COMPARE:FN)
		  AS CNAME WHICH IS SIMPLE:COMPARE:FN:43)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR SIMPLE:COMPARE:FN))
	  (VECTOR (VECTOR S:C:F SIMPLE:COMPARE:FN S:C SCF SC)
		  IS THE SET OF PLAUSIBLE NAMES OF (VECTOR SIMPLE COMPARE FN)
		  WHICH IS AN EXPANSION OF (VECTOR SIMPLE:COMPARE:FN))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR MODIFY:STRUCTURE)
		  AS CNAME WHICH IS MODIFY:STRUCTURE:42)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR MODIFY:STRUCTURE))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR MODIFY:STRUCTURE)
		  AS CNAME WHICH IS MODIFY:STRUCTURE:41)
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR MODIFY:STRUCTURE)
		  AS CNAME WHICH IS MODIFY:STRUCTURE:40)
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR MODIFY:STRUCTURE)
		  AS CNAME WHICH IS MODIFY:STRUCTURE:39)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR MODIFY:STRUCTURE))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR BETTER)
		  AS CNAME WHICH IS BETTER:38)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR BETTER))
	  (VECTOR (VECTOR B BETTER)
		  IS THE SET OF PLAUSIBLE NAMES OF (VECTOR BETTER)
		  WHICH IS AN EXPANSION OF (VECTOR BETTER))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR STATIC RELATIONS MAYBE:RELNS:30 BETWEEN OBJECTS)
		  AS CNAME WHICH IS CLASS:MAYBE:RELNS:37)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR STATIC RELATIONS MAYBE:RELNS:30 BETWEEN OBJECTS))
	  (VECTOR (VECTOR S:R:M:R:3:B:O STATIC:RELATIONS:MAYBE:RELNS:30:BETWEEN:OBJECTS S:R:M:R SRMR3BO SRMR)
		  IS THE SET OF PLAUSIBLE NAMES OF (VECTOR STATIC RELATIONS MAYBE RELNS 30 BETWEEN OBJECTS)
		  WHICH IS AN EXPANSION OF (VECTOR STATIC RELATIONS MAYBE:RELNS:30 BETWEEN OBJECTS))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR STATIC RELATIONS NO:RELNS:29 BETWEEN OBJECTS)
		  AS CNAME WHICH IS CLASS:NO:RELNS:36)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR STATIC RELATIONS NO:RELNS:29 BETWEEN OBJECTS))
	  (VECTOR (VECTOR S:R:N:R:2:B:O STATIC:RELATIONS:NO:RELNS:29:BETWEEN:OBJECTS S:R:N:R SRNR2BO SRNR)
		  IS THE SET OF PLAUSIBLE NAMES OF (VECTOR STATIC RELATIONS NO RELNS 29 BETWEEN OBJECTS)
		  WHICH IS AN EXPANSION OF (VECTOR STATIC RELATIONS NO:RELNS:29 BETWEEN OBJECTS))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR STATIC RELATIONS YES:RELNS:28 BETWEEN OBJECTS)
		  AS CNAME WHICH IS CLASS:YES:RELNS:35)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR STATIC RELATIONS YES:RELNS:28 BETWEEN OBJECTS))
	  (VECTOR (VECTOR S:R:Y:R:2:B:O STATIC:RELATIONS:YES:RELNS:28:BETWEEN:OBJECTS S:R:Y:R SRYR2BO SRYR)
		  IS THE SET OF PLAUSIBLE NAMES OF (VECTOR STATIC RELATIONS YES RELNS 28 BETWEEN OBJECTS)
		  WHICH IS AN EXPANSION OF (VECTOR STATIC RELATIONS YES:RELNS:28 BETWEEN OBJECTS))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR CLASS:NAME NAME POSSIBLE:NAME:OF:CLASS:CLASSNAME:21)
		  AS CNAME WHICH IS CLASS:CLASSNAME:34)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR CLASS:NAME NAME POSSIBLE:NAME:OF:CLASS:CLASSNAME:21))
	  (VECTOR (VECTOR C:N:N:P:N:O:C:C:2 CLASS:NAME:NAME:POSSIBLE:NAME:OF:CLASS:CLASSNAME:21 C:N:N:P:N CNNPNOCC2 
			  CNNPN)
		  IS THE SET OF PLAUSIBLE NAMES OF (VECTOR CLASS NAME NAME POSSIBLE NAME OF CLASS CLASSNAME 21)
		  WHICH IS AN EXPANSION OF (VECTOR CLASS:NAME NAME POSSIBLE:NAME:OF:CLASS:CLASSNAME:21))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR OBJECTS SET POSSIBLE:NAME:OF:CLASS:OBJECTS:20)
		  AS CNAME WHICH IS CLASS:OBJECTS:33)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR OBJECTS SET POSSIBLE:NAME:OF:CLASS:OBJECTS:20))
	  (VECTOR (VECTOR O:S:P:N:O:C:O:2 OBJECTS:SET:POSSIBLE:NAME:OF:CLASS:OBJECTS:20 O:S:P:N OSPNOCO2 OSPN)
		  IS THE SET OF PLAUSIBLE NAMES OF (VECTOR OBJECTS SET POSSIBLE NAME OF CLASS OBJECTS 20)
		  WHICH IS AN EXPANSION OF (VECTOR OBJECTS SET POSSIBLE:NAME:OF:CLASS:OBJECTS:20))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR COMPLEX:ALTERATION)
		  AS CNAME WHICH IS COMPLEX:ALTERATION:32)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR COMPLEX:ALTERATION))
	  (VECTOR (VECTOR C:A COMPLEX:ALTERATION C CA)
		  IS THE SET OF PLAUSIBLE NAMES OF (VECTOR COMPLEX ALTERATION)
		  WHICH IS AN EXPANSION OF (VECTOR COMPLEX:ALTERATION))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR CONDITIONAL:INSERTION)
		  AS CNAME WHICH IS CONDITIONAL:INSERTION:31)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR CONDITIONAL:INSERTION))
	  (VECTOR (VECTOR C:I CONDITIONAL:INSERTION C CI)
		  IS THE SET OF PLAUSIBLE NAMES OF (VECTOR CONDITIONAL INSERTION)
		  WHICH IS AN EXPANSION OF (VECTOR CONDITIONAL:INSERTION))
	  (VECTOR PUP WORKED ON SOMETHING IMPROBABLE, NAMELY (VECTOR IN ALL CODE GENERATED, 
								     POSSIBLE:NAME:OF:CLASS:RELNS:22 SHOULD BE REPLACED 
								     BY (VECTOR APPEND YES:RELNS:28 NO:RELNS:29 
										MAYBE:RELNS:30))
		  ,AND HERE IS WHAT WE FINALLY DID ABOUT IT: (VECTOR WE REPLACED ALL OCCURRENCES OF 
								     POSSIBLE:NAME:OF:CLASS:RELNS:22 BY
								     (VECTOR APPEND YES:RELNS:28 NO:RELNS:29 
									     MAYBE:RELNS:30)))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR PROBABILITY>0&<1:#:PART:OF:POSSIBLE:NAME:OF:CLASS:RELNS)
		  AS LNAME WHICH IS MAYBE:RELNS:30)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR PROBABILITY>0&<1:#:PART:OF:POSSIBLE:NAME:OF:CLASS:RELNS))
	  (VECTOR (VECTOR P:#:P:O:P:N:O:C:R PROBABILITY>0&<1:#:PART:OF:POSSIBLE:NAME:OF:CLASS:RELNS P:#:P:O:P P#POPNOCR 
			  P#POP)
		  IS THE SET OF PLAUSIBLE NAMES OF (VECTOR PROBABILITY>0&<1 # PART OF POSSIBLE NAME OF CLASS RELNS)
		  WHICH IS AN EXPANSION OF (VECTOR PROBABILITY>0&<1:#:PART:OF:POSSIBLE:NAME:OF:CLASS:RELNS))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR PROBABILITY:0:#:PART:OF:POSSIBLE:NAME:OF:CLASS:RELNS)
		  AS LNAME WHICH IS NO:RELNS:29)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR PROBABILITY:0:#:PART:OF:POSSIBLE:NAME:OF:CLASS:RELNS))
	  (VECTOR (VECTOR P:0:#:P:O:P:N:O:C:R PROBABILITY:0:#:PART:OF:POSSIBLE:NAME:OF:CLASS:RELNS P:0:#:P:O P0#POPNOCR 
			  P0#PO)
		  IS THE SET OF PLAUSIBLE NAMES OF (VECTOR PROBABILITY 0 # PART OF POSSIBLE NAME OF CLASS RELNS)
		  WHICH IS AN EXPANSION OF (VECTOR PROBABILITY:0:#:PART:OF:POSSIBLE:NAME:OF:CLASS:RELNS))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR PROBABILITY:1:#:PART:OF:POSSIBLE:NAME:OF:CLASS:RELNS)
		  AS LNAME WHICH IS YES:RELNS:28)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR PROBABILITY:1:#:PART:OF:POSSIBLE:NAME:OF:CLASS:RELNS))
	  (VECTOR (VECTOR P:1:#:P:O:P:N:O:C:R PROBABILITY:1:#:PART:OF:POSSIBLE:NAME:OF:CLASS:RELNS P:1:#:P:O P1#POPNOCR 
			  P1#PO)
		  IS THE SET OF PLAUSIBLE NAMES OF (VECTOR PROBABILITY 1 # PART OF POSSIBLE NAME OF CLASS RELNS)
		  WHICH IS AN EXPANSION OF (VECTOR PROBABILITY:1:#:PART:OF:POSSIBLE:NAME:OF:CLASS:RELNS))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR RECOGNIZE:#)
		  AS CNAME WHICH IS CONTRADICTS:27)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR RECOGNIZE:#))
	  (VECTOR (VECTOR R:# RECOGNIZE:# R R#)
		  IS THE SET OF PLAUSIBLE NAMES OF (VECTOR RECOGNIZE #)
		  WHICH IS AN EXPANSION OF (VECTOR RECOGNIZE:#))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR COMPARE)
		  AS CNAME WHICH IS COMPARE:26)
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR COMPARE)
		  AS CNAME WHICH IS COMPARE:25)
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR COMPARE)
		  AS CNAME WHICH IS COMPARE:24)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR COMPARE))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR JOINING:FUNCTION)
		  AS CNAME WHICH IS JOIN:23)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR JOINING:FUNCTION))
	  (VECTOR (VECTOR J:F JOINING:FUNCTION J JF)
		  IS THE SET OF PLAUSIBLE NAMES OF (VECTOR JOINING FUNCTION)
		  WHICH IS AN EXPANSION OF (VECTOR JOINING:FUNCTION))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR COMPARE)
		  AS CNAME WHICH IS COMPARE:19)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR COMPARE))
	  (VECTOR (VECTOR C COMPARE)
		  IS THE SET OF PLAUSIBLE NAMES OF (VECTOR COMPARE)
		  WHICH IS AN EXPANSION OF (VECTOR COMPARE))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR TEST)
		  AS CNAME WHICH IS TEST:18)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR TEST))
	  (VECTOR (VECTOR T TEST)
		  IS THE SET OF PLAUSIBLE NAMES OF (VECTOR TEST)
		  WHICH IS AN EXPANSION OF (VECTOR TEST))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR FOREACH)
		  AS CNAME WHICH IS FOREACH:17)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR FOREACH))
	  (VECTOR (VECTOR F FOREACH)
		  IS THE SET OF PLAUSIBLE NAMES OF (VECTOR FOREACH)
		  WHICH IS AN EXPANSION OF (VECTOR FOREACH))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR SOME:PART:OF)
		  AS CNAME WHICH IS SOME:PART:OF:16)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR SOME:PART:OF))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR STATIC:RELATIONS:S:BETWEEN:OBJECTS)
		  AS CNAME WHICH IS ELEMENT:RELNS:15)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR STATIC:RELATIONS:S:BETWEEN:OBJECTS))
	  (VECTOR (VECTOR S:R:S:B:O STATIC:RELATIONS:S:BETWEEN:OBJECTS S:R:S SRSBO SRS)
		  IS THE SET OF PLAUSIBLE NAMES OF (VECTOR STATIC RELATIONS S BETWEEN OBJECTS)
		  WHICH IS AN EXPANSION OF (VECTOR STATIC:RELATIONS:S:BETWEEN:OBJECTS))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR SOME:PART:OF)
		  AS CNAME WHICH IS SOME:PART:OF:14)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR SOME:PART:OF))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR CLASS:NAME:NAME:N)
		  AS CNAME WHICH IS ELEMENT:CLASSNAME:13)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR CLASS:NAME:NAME:N))
	  (VECTOR (VECTOR C:N:N:N CLASS:NAME:NAME:N C:N CNNN CN)
		  IS THE SET OF PLAUSIBLE NAMES OF (VECTOR CLASS NAME NAME N)
		  WHICH IS AN EXPANSION OF (VECTOR CLASS:NAME:NAME:N))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR SOME:PART:OF)
		  AS CNAME WHICH IS SOME:PART:OF:12)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR SOME:PART:OF))
	  (VECTOR (VECTOR S:P:O SOME:PART:OF S:P SPO SP)
		  IS THE SET OF PLAUSIBLE NAMES OF (VECTOR SOME PART OF)
		  WHICH IS AN EXPANSION OF (VECTOR SOME:PART:OF))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR OBJECTS:SET:O)
		  AS CNAME WHICH IS ELEMENT:OBJECTS:11)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR OBJECTS:SET:O))
	  (VECTOR (VECTOR O:S:O OBJECTS:SET:O O:S OSO OS)
		  IS THE SET OF PLAUSIBLE NAMES OF (VECTOR OBJECTS SET O)
		  WHICH IS AN EXPANSION OF (VECTOR OBJECTS:SET:O))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR STATIC VECTOR SCENE)
		  AS TNAME WHICH IS STATIC:SCENE:10)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR STATIC VECTOR SCENE))
	  (VECTOR (VECTOR S:S STATIC:SCENE S SS)
		  IS THE SET OF PLAUSIBLE NAMES OF (VECTOR STATIC SCENE)
		  WHICH IS AN EXPANSION OF (VECTOR STATIC VECTOR SCENE))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR MODIFY:STRUCTURE)
		  AS CNAME WHICH IS MODIFY:STRUCTURE:9)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR MODIFY:STRUCTURE))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR GET:HOLD:OF)
		  AS CNAME WHICH IS GET:HOLD:OF:8)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR GET:HOLD:OF))
	  (VECTOR (VECTOR G:H:O GET:HOLD:OF G:H GHO GH)
		  IS THE SET OF PLAUSIBLE NAMES OF (VECTOR GET HOLD OF)
		  WHICH IS AN EXPANSION OF (VECTOR GET:HOLD:OF))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR MODIFY:STRUCTURE)
		  AS CNAME WHICH IS MODIFY:STRUCTURE:7)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR MODIFY:STRUCTURE))
	  (VECTOR (VECTOR M:S MODIFY:STRUCTURE M MS)
		  IS THE SET OF PLAUSIBLE NAMES OF (VECTOR MODIFY STRUCTURE)
		  WHICH IS AN EXPANSION OF (VECTOR MODIFY:STRUCTURE))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR TAKE:HOLD:OF)
		  AS CNAME WHICH IS TAKE:HOLD:OF:6)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR TAKE:HOLD:OF))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR ELEMENT)
		  AS CNAME WHICH IS ELEMENT:4)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR ELEMENT))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR IS:OF:TYPE)
		  AS CNAME WHICH IS HAS:NAME:5)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR IS:OF:TYPE))
	  (VECTOR (VECTOR I:O:T IS:OF:TYPE I:O IOT IO)
		  IS THE SET OF PLAUSIBLE NAMES OF (VECTOR IS OF TYPE)
		  WHICH IS AN EXPANSION OF (VECTOR IS:OF:TYPE))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR ELEMENT)
		  AS CNAME WHICH IS ELEMENT:4)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR ELEMENT))
	  (VECTOR (VECTOR E ELEMENT)
		  IS THE SET OF PLAUSIBLE NAMES OF (VECTOR ELEMENT)
		  WHICH IS AN EXPANSION OF (VECTOR ELEMENT))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR TAKE:HOLD:OF)
		  AS CNAME WHICH IS TAKE:HOLD:OF:3)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR TAKE:HOLD:OF))
	  (VECTOR (VECTOR T:H:O TAKE:HOLD:OF T:H THO TH)
		  IS THE SET OF PLAUSIBLE NAMES OF (VECTOR TAKE HOLD OF)
		  WHICH IS AN EXPANSION OF (VECTOR TAKE:HOLD:OF))
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR PARTITION:A:DOMAIN)
		  AS CNAME WHICH IS PAD:2)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR PARTITION:A:DOMAIN))
	  (VECTOR (VECTOR P:A:D PARTITION:DOMAIN P:A P PAD PA)
		  IS THE SET OF PLAUSIBLE NAMES OF (VECTOR PARTITION A DOMAIN)
		  WHICH IS AN EXPANSION OF (VECTOR PARTITION:A:DOMAIN))
	  (VECTOR THE NAME OF THE PROGRAM TO DO (VECTOR CONCEPT:FORMATION)
		  IS CF:1)
	  (VECTOR PUP AND USER ARE ABLE TO REFER TO (VECTOR CONCEPT:FORMATION)
		  AS TASK:NAME WHICH IS CF:1)
	  (VECTOR PUP WANTS USER TO TYPE IN NAME FOR (VECTOR CONCEPT:FORMATION))
	  (VECTOR (VECTOR C:F CONCEPT:FORMATION C CF)
		  IS THE SET OF PLAUSIBLE NAMES OF (VECTOR CONCEPT FORMATION)
		  WHICH IS AN EXPANSION OF (VECTOR CONCEPT:FORMATION))
	  (VECTOR PUP IS ABOUT TO WRITE A PROGRAM TO DO (VECTOR CONCEPT:FORMATION))
	  (VECTOR PUP WANTS ANY TASK)))
  (RPAQQ RELEVANT:INFO:LIST NIL)
  (RPAQQ RESULT:BINDING:LIST (((THE RESULT OF TEST)
	   RESULT:1)
	  ((THE RESULT OF ARG5)
	   RESULT:1)
	  ((THE RESULT OF ACTION)
	   RESULT:1)))
  (RPAQQ RESULT:COUNTER 9)
  (RPAQQ NEW:F:NUMBER 55)
  (RPAQQ NEW:P:NUMBER 1603)
  (RPAQQ SET:OF:BEINGS
	 (ADD:DEFINITION ADJECTIVE:HANDLER ANALYZE:IMPLICATIONS ASK:USER:ABOUT BETTER CHOOSE:FROM 
			 CLARIFY:IMPROBABLE:SITUATION CLASSIFICATORY:CONCEPT:FORMATION COMPARE 
			 COMPARITIVE:CONCEPT:FORMATION COMPLEX:ALTERATION COMPLEX:COMPARE:FN CONCEPT:FORMATION 
			 CONDITIONAL:DELETION CONDITIONAL:INSERTION DATA:STRUCTURE:DELETIONS DATA:STRUCTURE:INSERTIONS 
			 DEFER:DECISION ELEMENT ENCODE EXTRACT:RELEVANT:SUBSET FILL:IN:UNDEFINED:SECTION FOREACH 
			 GET:DATA:STRUCTURE GET:HOLD:OF GET:NAME GET:NEW:INFORMATION IS:OF:TYPE JOINING:FUNCTION 
			 LIST:STRUCTURE MAKE:A:GUESS MAKE:ENCODABLE MAKE:NEW:BEING MESSAGE METRICAL:CONCEPT:FORMATION 
			 MODIFY:STRUCTURE OBTAIN:USABLE:INFORMATION PARTITION:A:DOMAIN PARTITION:BY:TAKE:CLASS:GET:ELE 
			 PARTITION:BY:TAKE:ELE:AND:CLASS PARTITION:BY:TAKE:ELE:GET:CLASS PROBABILITY=0:# 
			 PROBABILITY=1:# PROBABILITY>0&<1:# PROPOSE:PLAUSIBLE:NAMES RECOGNIZE:# RECOGNIZE:ARGS 
			 RECOGNIZE:CAR RECOGNIZE:CONDITIONAL RECOGNIZE:CONJUNCTION RECOGNIZE:EQUALITY 
			 RECOGNIZE:FUNCTION:RETURNS RECOGNIZE:INCLUSION RECOGNIZE:LITERALS RECOGNIZE:SET:RELATIONS 
			 RECOGNIZE:SOME:MEMBER REINVESTIGATE:DECISION REPEATEDLY RESOLVE:DECISION SATISFY SCENE SEARCH 
			 SERVE SIMPLE:COMPARE:FN SOME:PART:OF STUDY:TYPE TAKE:HOLD:OF TEST TRANSLATE USE:INFORMATION 
			 UTILIZE WHEN:NEXT WRITE:PROGRAM))
  (RPAQQ TRANSLATED:INFO:LIST ((VECTOR RESULT:8 EQUALS NIL AND RESULT:9 ISNT NIL)
	  (VECTOR RESULT:9 ISNT NIL)
	  (VECTOR RESULT:9)
	  (VECTOR RESULT:8 EQUALS NIL)
	  (VECTOR RESULT:8)
	  (VECTOR SOMETHING IN ELEMENT:RELNS:15 WHICH IS NOT IN MAYBE:RELNS:30)
	  (VECTOR ELEMENT:RELNS:15 WHICH IS NOT IN MAYBE:RELNS:30)
	  (VECTOR MAYBE:RELNS:30)
	  (VECTOR ELEMENT:RELNS:15)
	  (VECTOR SOMETHING IN MAYBE:RELNS:30 WHICH IS NOT IN ELEMENT:RELNS:15)
	  (VECTOR MAYBE:RELNS:30 WHICH IS NOT IN ELEMENT:RELNS:15)
	  (VECTOR ELEMENT:RELNS:15)
	  (VECTOR MAYBE:RELNS:30)
	  (VECTOR RESULT:5 AND RESULT:6 AND SOMETHING IN ELEMENT:RELNS:15 WHICH IS NOT IN ANY OF YES:RELNS:28 
		  NO:RELNS:29 MAYBE:RELNS:30)
	  (VECTOR RESULT:6 AND SOMETHING IN ELEMENT:RELNS:15 WHICH IS NOT IN ANY OF YES:RELNS:28 NO:RELNS:29 
		  MAYBE:RELNS:30)
	  (VECTOR SOMETHING IN ELEMENT:RELNS:15 WHICH IS NOT IN ANY OF YES:RELNS:28 NO:RELNS:29 MAYBE:RELNS:30)
	  (VECTOR ELEMENT:RELNS:15 WHICH IS NOT IN ANY OF YES:RELNS:28 NO:RELNS:29 MAYBE:RELNS:30)
	  (VECTOR MAYBE:RELNS:30)
	  (VECTOR NO:RELNS:29)
	  (VECTOR YES:RELNS:28)
	  (VECTOR ELEMENT:RELNS:15)
	  (VECTOR RESULT:6)
	  (VECTOR RESULT:5)
	  (VECTOR SOMETHING IN NO:RELNS:29 WHICH IS IN ELEMENT:RELNS:15)
	  (VECTOR NO:RELNS:29 WHICH IS IN ELEMENT:RELNS:15)
	  (VECTOR ELEMENT:RELNS:15)
	  (VECTOR NO:RELNS:29)
	  (VECTOR SOMETHING IN YES:RELNS:28 WHICH IS NOT IN ELEMENT:RELNS:15)
	  (VECTOR YES:RELNS:28 WHICH IS NOT IN ELEMENT:RELNS:15)
	  (VECTOR ELEMENT:RELNS:15)
	  (VECTOR YES:RELNS:28)
	  (VECTOR RESULT:4 ISNT NIL)
	  (VECTOR RESULT:4)
	  (VECTOR SOMETHING IN ELEMENT:OBJECTS:11 WHICH IS NOT IN POSSIBLE:NAME:OF:CLASS:OBJECTS:20)
	  (VECTOR ELEMENT:OBJECTS:11 WHICH IS NOT IN POSSIBLE:NAME:OF:CLASS:OBJECTS:20)
	  (VECTOR POSSIBLE:NAME:OF:CLASS:OBJECTS:20)
	  (VECTOR ELEMENT:OBJECTS:11)
	  (VECTOR RESULT:3 ISNT NOTHING)
	  (VECTOR NOTHING)
	  (VECTOR RESULT:3)
	  (VECTOR RESULT:2 ISNT NOTHING)
	  (VECTOR NOTHING)
	  (VECTOR RESULT:2)
	  (VECTOR ANY RELATION IN (APPEND YES:RELNS:28 NO:RELNS:29 MAYBE:RELNS:30)
		  IS INCOMPATIBLE WITH ELEMENT:RELNS:15)
	  (VECTOR RELATION IS INCOMPATIBLE WITH ELEMENT:RELNS:15)
	  (VECTOR TEST SUCCEEDED)
	  (VECTOR THE RESULT OF TEST ISNT NIL)
	  (VECTOR THE RESULT OF TEST)
	  (VECTOR DEFINE HAS:NAME:5 AS (VECTOR THE FRONT PART OF ARG1 ISNT ???))
	  (VECTOR THE FRONT PART OF ARG1 ISNT ???)
	  (VECTOR ???)
	  (VECTOR THE FRONT PART OF ARG1)
	  (VECTOR ARG1)
	  (VECTOR DEFINE ELEMENT:4 AS (VECTOR A DESCRIPTION OF A STATIC SCENE))
	  (VECTOR A DESCRIPTION OF A STATIC SCENE)
	  (VECTOR STATIC SCENE)
	  (VECTOR SCENE)
	  (VECTOR WRITE A PROGRAM WHICH DOES CONCEPT FORMATION)
	  (VECTOR CONCEPT FORMATION)))
  (RPAQQ TRANSLATED:PAIR:LIST
	 (((VECTOR RESULT:8 EQUALS NIL AND RESULT:9 ISNT NIL)
	   (VECTOR AND (VECTOR EQUAL RESULT:8 NIL)
		   (VECTOR NOT (VECTOR EQUAL RESULT:9 NIL))))
	  ((VECTOR RESULT:9 ISNT NIL)
	   (VECTOR NOT (VECTOR EQUAL RESULT:9 NIL)))
	  ((VECTOR RESULT:9)
	   RESULT:9)
	  ((VECTOR RESULT:8 EQUALS NIL)
	   (VECTOR EQUAL RESULT:8 NIL))
	  ((VECTOR RESULT:8)
	   RESULT:8)
	  ((VECTOR SOMETHING IN ELEMENT:RELNS:15 WHICH IS NOT IN MAYBE:RELNS:30)
	   (VECTOR CAR (VECTOR SETDIFFERENCE ELEMENT:RELNS:15 MAYBE:RELNS:30)))
	  ((VECTOR ELEMENT:RELNS:15 WHICH IS NOT IN MAYBE:RELNS:30)
	   (VECTOR SETDIFFERENCE ELEMENT:RELNS:15 MAYBE:RELNS:30))
	  ((VECTOR MAYBE:RELNS:30)
	   MAYBE:RELNS:30)
	  ((VECTOR ELEMENT:RELNS:15)
	   ELEMENT:RELNS:15)
	  ((VECTOR SOMETHING IN MAYBE:RELNS:30 WHICH IS NOT IN ELEMENT:RELNS:15)
	   (VECTOR CAR (VECTOR SETDIFFERENCE MAYBE:RELNS:30 ELEMENT:RELNS:15)))
	  ((VECTOR MAYBE:RELNS:30 WHICH IS NOT IN ELEMENT:RELNS:15)
	   (VECTOR SETDIFFERENCE MAYBE:RELNS:30 ELEMENT:RELNS:15))
	  ((VECTOR ELEMENT:RELNS:15)
	   ELEMENT:RELNS:15)
	  ((VECTOR MAYBE:RELNS:30)
	   MAYBE:RELNS:30)
	  ((VECTOR RESULT:5 AND RESULT:6 AND SOMETHING IN ELEMENT:RELNS:15 WHICH IS NOT IN ANY OF YES:RELNS:28 
		   NO:RELNS:29 MAYBE:RELNS:30)
	   (VECTOR AND RESULT:5 RESULT:6 (VECTOR CAR (VECTOR SETDIFFERENCE ELEMENT:RELNS:15 (VECTOR APPEND YES:RELNS:28 
												    NO:RELNS:29 
												    MAYBE:RELNS:30)))))
	  ((VECTOR RESULT:6 AND SOMETHING IN ELEMENT:RELNS:15 WHICH IS NOT IN ANY OF YES:RELNS:28 NO:RELNS:29 
		   MAYBE:RELNS:30)
	   (VECTOR AND RESULT:6 (VECTOR CAR (VECTOR SETDIFFERENCE ELEMENT:RELNS:15 (VECTOR APPEND YES:RELNS:28 
											   NO:RELNS:29 MAYBE:RELNS:30)))
		   ))
	  ((VECTOR SOMETHING IN ELEMENT:RELNS:15 WHICH IS NOT IN ANY OF YES:RELNS:28 NO:RELNS:29 MAYBE:RELNS:30)
	   (VECTOR CAR (VECTOR SETDIFFERENCE ELEMENT:RELNS:15 (VECTOR APPEND YES:RELNS:28 NO:RELNS:29 MAYBE:RELNS:30))))
	  ((VECTOR ELEMENT:RELNS:15 WHICH IS NOT IN ANY OF YES:RELNS:28 NO:RELNS:29 MAYBE:RELNS:30)
	   (VECTOR SETDIFFERENCE ELEMENT:RELNS:15 (VECTOR APPEND YES:RELNS:28 NO:RELNS:29 MAYBE:RELNS:30)))
	  ((VECTOR MAYBE:RELNS:30)
	   MAYBE:RELNS:30)
	  ((VECTOR NO:RELNS:29)
	   NO:RELNS:29)
	  ((VECTOR YES:RELNS:28)
	   YES:RELNS:28)
	  ((VECTOR ELEMENT:RELNS:15)
	   ELEMENT:RELNS:15)
	  ((VECTOR RESULT:6)
	   RESULT:6)
	  ((VECTOR RESULT:5)
	   RESULT:5)
	  ((VECTOR SOMETHING IN NO:RELNS:29 WHICH IS IN ELEMENT:RELNS:15)
	   (VECTOR CAR (VECTOR SETINTERSECTION NO:RELNS:29 ELEMENT:RELNS:15)))
	  ((VECTOR NO:RELNS:29 WHICH IS IN ELEMENT:RELNS:15)
	   (VECTOR SETINTERSECTION NO:RELNS:29 ELEMENT:RELNS:15))
	  ((VECTOR ELEMENT:RELNS:15)
	   ELEMENT:RELNS:15)
	  ((VECTOR NO:RELNS:29)
	   NO:RELNS:29)
	  ((VECTOR SOMETHING IN YES:RELNS:28 WHICH IS NOT IN ELEMENT:RELNS:15)
	   (VECTOR CAR (VECTOR SETDIFFERENCE YES:RELNS:28 ELEMENT:RELNS:15)))
	  ((VECTOR YES:RELNS:28 WHICH IS NOT IN ELEMENT:RELNS:15)
	   (VECTOR SETDIFFERENCE YES:RELNS:28 ELEMENT:RELNS:15))
	  ((VECTOR ELEMENT:RELNS:15)
	   ELEMENT:RELNS:15)
	  ((VECTOR YES:RELNS:28)
	   YES:RELNS:28)
	  ((VECTOR RESULT:4 ISNT NIL)
	   (VECTOR NOT (VECTOR EQUAL RESULT:4 NIL)))
	  ((VECTOR RESULT:4)
	   RESULT:4)
	  ((VECTOR SOMETHING IN ELEMENT:OBJECTS:11 WHICH IS NOT IN POSSIBLE:NAME:OF:CLASS:OBJECTS:20)
	   (VECTOR CAR (VECTOR SETDIFFERENCE ELEMENT:OBJECTS:11 POSSIBLE:NAME:OF:CLASS:OBJECTS:20)))
	  ((VECTOR ELEMENT:OBJECTS:11 WHICH IS NOT IN POSSIBLE:NAME:OF:CLASS:OBJECTS:20)
	   (VECTOR SETDIFFERENCE ELEMENT:OBJECTS:11 POSSIBLE:NAME:OF:CLASS:OBJECTS:20))
	  ((VECTOR POSSIBLE:NAME:OF:CLASS:OBJECTS:20)
	   POSSIBLE:NAME:OF:CLASS:OBJECTS:20)
	  ((VECTOR ELEMENT:OBJECTS:11)
	   ELEMENT:OBJECTS:11)
	  ((VECTOR RESULT:3 ISNT NOTHING)
	   (VECTOR NOT (VECTOR EQUAL RESULT:3 NOTHING)))
	  ((VECTOR NOTHING)
	   NOTHING)
	  ((VECTOR RESULT:3)
	   RESULT:3)
	  ((VECTOR RESULT:2 ISNT NOTHING)
	   (VECTOR NOT (VECTOR EQUAL RESULT:2 NOTHING)))
	  ((VECTOR NOTHING)
	   NOTHING)
	  ((VECTOR RESULT:2)
	   RESULT:2)
	  ((VECTOR ANY RELATION IN (APPEND YES:RELNS:28 NO:RELNS:29 MAYBE:RELNS:30)
		   IS INCOMPATIBLE WITH ELEMENT:RELNS:15)
	   (VECTOR DO UNTIL (VECTOR FORSOME RELATION IN (APPEND YES:RELNS:28 NO:RELNS:29 MAYBE:RELNS:30)
				    (VECTOR RECOGNIZE:# RELATION ELEMENT:RELNS:15))))
	  ((VECTOR RELATION IS INCOMPATIBLE WITH ELEMENT:RELNS:15)
	   (VECTOR RECOGNIZE:# RELATION ELEMENT:RELNS:15))
	  ((VECTOR TEST SUCCEEDED)
	   (VECTOR NOT (VECTOR EQUAL RESULT:1 NIL)))
	  ((VECTOR THE RESULT OF TEST ISNT NIL)
	   (VECTOR NOT (VECTOR EQUAL RESULT:1 NIL)))
	  ((VECTOR THE RESULT OF TEST)
	   RESULT:1)
	  ((VECTOR DEFINE HAS:NAME:5 AS (VECTOR THE FRONT PART OF ARG1 ISNT ???))
	   (VECTOR ADD:DEFINITION HAS:NAME:5 (VECTOR NOT (VECTOR EQUAL (VECTOR CAR ARG1)
								 ???))))
	  ((VECTOR THE FRONT PART OF ARG1 ISNT ???)
	   (VECTOR NOT (VECTOR EQUAL (VECTOR CAR ARG1)
			       ???)))
	  ((VECTOR ???)
	   ???)
	  ((VECTOR THE FRONT PART OF ARG1)
	   (VECTOR CAR ARG1))
	  ((VECTOR ARG1)
	   (VECTOR ARG1))
	  ((VECTOR DEFINE ELEMENT:4 AS (VECTOR A DESCRIPTION OF A STATIC SCENE))
	   (VECTOR ADD:DEFINITION ELEMENT:4 (STRUCTURE (OBJECTS SET O)
						       (CLASS:NAME NAME N)
						       (STATIC RELATIONS S BETWEEN OBJECTS))))
	  ((VECTOR A DESCRIPTION OF A STATIC SCENE)
	   (STRUCTURE (OBJECTS SET O)
		      (CLASS:NAME NAME N)
		      (STATIC RELATIONS S BETWEEN OBJECTS)))
	  ((VECTOR STATIC SCENE)
	   (STRUCTURE (OBJECTS SET O)
		      (CLASS:NAME NAME N)
		      (STATIC RELATIONS S BETWEEN OBJECTS)))
	  ((VECTOR SCENE)
	   (VECTOR SCENE))
	  ((VECTOR WRITE A PROGRAM WHICH DOES CONCEPT FORMATION)
	   (VECTOR WRITE:PROGRAM (VECTOR CONCEPT:FORMATION)))
	  ((VECTOR CONCEPT FORMATION)
	   (VECTOR CONCEPT:FORMATION))))
  (RPAQQ TRUE:FN:CALL:LIST ((CLASS:NO:RELNS:36 (MERGE:IN RESULT:9 (GETP POSSIBLE:NAME:OF:CLASS CLASS:NO:RELNS:36)
							 BETTER:38))
	  (RESULT:9 (GETP POSSIBLE:NAME:OF:CLASS CLASS:NO:RELNS:36)
		    BETTER:38)
	  (BETTER:38)
	  (CLASS:NO:RELNS:36)
	  (RESULT:9 NIL)
	  (RESULT:8 NIL)
	  (ELEMENT:RELNS:15 MAYBE:RELNS:30)
	  (MAYBE:RELNS:30)
	  (CONDITIONAL:INSERTION:55 ARG1 ARG2)
	  (RESULT:8 NIL (PUT POSSIBLE:NAME:OF:CLASS CLASS:YES:RELNS:35 (MERGE:IN RESULT:8 (GETP POSSIBLE:NAME:OF:CLASS 
												CLASS:YES:RELNS:35)
										 BETTER:38)))
	  (CLASS:YES:RELNS:35 (MERGE:IN RESULT:8 (GETP POSSIBLE:NAME:OF:CLASS CLASS:YES:RELNS:35)
					BETTER:38))
	  (RESULT:8 (GETP POSSIBLE:NAME:OF:CLASS CLASS:YES:RELNS:35)
		    BETTER:38)
	  (BETTER:38)
	  (CLASS:YES:RELNS:35)
	  (MAYBE:RELNS:30 ELEMENT:RELNS:15)
	  (ELEMENT:RELNS:15)
	  (CONDITIONAL:INSERTION:54 ARG1 ARG2)
	  (RESULT:7 NIL (PUT NAME:OF:CLASS CLASS:MAYBE:RELNS:37 (MERGE:IN RESULT:7 (GETP NAME:OF:CLASS 
											 CLASS:MAYBE:RELNS:37)
									  BETTER:38)))
	  (CLASS:MAYBE:RELNS:37 (MERGE:IN RESULT:7 (GETP NAME:OF:CLASS CLASS:MAYBE:RELNS:37)
					  BETTER:38))
	  (RESULT:7 (GETP NAME:OF:CLASS CLASS:MAYBE:RELNS:37)
		    BETTER:38)
	  (BETTER:38)
	  (CLASS:MAYBE:RELNS:37)
	  (RESULT:5 RESULT:6 (CAR (SETDIFFERENCE ELEMENT:RELNS:15 (APPEND YES:RELNS:28 NO:RELNS:29 MAYBE:RELNS:30))))
	  (RESULT:6 (CAR (SETDIFFERENCE ELEMENT:RELNS:15 (APPEND YES:RELNS:28 NO:RELNS:29 MAYBE:RELNS:30))))
	  (ELEMENT:RELNS:15 (APPEND YES:RELNS:28 NO:RELNS:29 MAYBE:RELNS:30))
	  (YES:RELNS:28 NO:RELNS:29 MAYBE:RELNS:30)
	  (NO:RELNS:29 MAYBE:RELNS:30)
	  (MAYBE:RELNS:30)
	  (CONDITIONAL:INSERTION:53 ARG1 ARG2)
	  (RESULT:6 (PUT NAME:OF:CLASS CLASS:NO:RELNS:36 (PULLOUT RESULT:6 (GETP NAME:OF:CLASS CLASS:NO:RELNS:36))))
	  (CLASS:NO:RELNS:36 (PULLOUT RESULT:6 (GETP NAME:OF:CLASS CLASS:NO:RELNS:36)))
	  (RESULT:6 (GETP NAME:OF:CLASS CLASS:NO:RELNS:36))
	  (CLASS:NO:RELNS:36)
	  (NO:RELNS:29 ELEMENT:RELNS:15)
	  (ELEMENT:RELNS:15)
	  (CONDITIONAL:DELETION:52 ARG1 ARG2)
	  (RESULT:5 (PUT NAME:OF:CLASS CLASS:YES:RELNS:35 (PULLOUT RESULT:5 (GETP NAME:OF:CLASS CLASS:YES:RELNS:35))))
	  (CLASS:YES:RELNS:35 (PULLOUT RESULT:5 (GETP NAME:OF:CLASS CLASS:YES:RELNS:35)))
	  (RESULT:5 (GETP NAME:OF:CLASS CLASS:YES:RELNS:35))
	  (CLASS:YES:RELNS:35)
	  (YES:RELNS:28 ELEMENT:RELNS:15)
	  (ELEMENT:RELNS:15)
	  (CONDITIONAL:DELETION:51 ARG1 ARG2)
	  (CLASS:OBJECTS:33 (MERGE:IN RESULT:4 (GETP NAME:OF:CLASS CLASS:OBJECTS:33)
				      BETTER:38))
	  (RESULT:4 (GETP NAME:OF:CLASS CLASS:OBJECTS:33)
		    BETTER:38)
	  (BETTER:38)
	  (CLASS:OBJECTS:33)
	  (RESULT:4 NIL)
	  (ELEMENT:OBJECTS:11 POSSIBLE:NAME:OF:CLASS:OBJECTS:20)
	  (POSSIBLE:NAME:OF:CLASS:OBJECTS:20)
	  (CONDITIONAL:INSERTION:50 ARG1 ARG2)
	  (MODIFY:STRUCTURE:49 MAYBE:RELNS:30 POSSIBLE:NAME:OF:CLASS)
	  (MAYBE:RELNS:30 POSSIBLE:NAME:OF:CLASS)
	  (MODIFY:STRUCTURE:48 NO:RELNS:29 POSSIBLE:NAME:OF:CLASS)
	  (NO:RELNS:29 POSSIBLE:NAME:OF:CLASS)
	  (MODIFY:STRUCTURE:47 YES:RELNS:28 POSSIBLE:NAME:OF:CLASS)
	  (YES:RELNS:28 POSSIBLE:NAME:OF:CLASS)
	  (COMPLEX:ALTERATION:46 POSSIBLE:NAME:OF:CLASS)
	  (MODIFY:STRUCTURE:42 MAYBE:RELNS:30 NAME:OF:CLASS)
	  (MAYBE:RELNS:30 NAME:OF:CLASS)
	  (MODIFY:STRUCTURE:41 NO:RELNS:29 NAME:OF:CLASS)
	  (NO:RELNS:29 NAME:OF:CLASS)
	  (MODIFY:STRUCTURE:40 YES:RELNS:28 NAME:OF:CLASS)
	  (YES:RELNS:28 NAME:OF:CLASS)
	  (MODIFY:STRUCTURE:39 POSSIBLE:NAME:OF:CLASS:OBJECTS:20 NAME:OF:CLASS)
	  (POSSIBLE:NAME:OF:CLASS:OBJECTS:20 NAME:OF:CLASS)
	  (BETTER:38)
	  (RESULT:3)
	  (RESULT:3 SET:OF:POSSIBLE:NAMES:OF:CLASS BETTER:38)
	  (BETTER:38)
	  (RESULT:3)
	  (RESULT:3 NOTHING)
	  (RESULT:3 SET:OF:POSSIBLE:NAMES:OF:CLASS)
	  (COMPLEX:ALTERATION:45 ARG1)
	  (CONDITIONAL:INSERTION:44 ARG1)
	  (SIMPLE:COMPARE:FN:43)
	  (MODIFY:STRUCTURE:42 MAYBE:RELNS:30 NAME:OF:CLASS)
	  (MAYBE:RELNS:30 NAME:OF:CLASS)
	  (MODIFY:STRUCTURE:41 NO:RELNS:29 NAME:OF:CLASS)
	  (NO:RELNS:29 NAME:OF:CLASS)
	  (MODIFY:STRUCTURE:40 YES:RELNS:28 NAME:OF:CLASS)
	  (YES:RELNS:28 NAME:OF:CLASS)
	  (MODIFY:STRUCTURE:39 POSSIBLE:NAME:OF:CLASS:OBJECTS:20 NAME:OF:CLASS)
	  (POSSIBLE:NAME:OF:CLASS:OBJECTS:20 NAME:OF:CLASS)
	  (BETTER:38)
	  (RESULT:2)
	  (RESULT:2 SET:OF:POSSIBLE:NAMES:OF:CLASS BETTER:38)
	  (BETTER:38)
	  (RESULT:2)
	  (CLASS:MAYBE:RELNS:37 INITIAL:VALUE:OF:MAYBE:RELNS:30)
	  (INITIAL:VALUE:OF:MAYBE:RELNS:30)
	  (CLASS:NO:RELNS:36 INITIAL:VALUE:OF:NO:RELNS:29)
	  (INITIAL:VALUE:OF:NO:RELNS:29)
	  (CLASS:YES:RELNS:35 INITIAL:VALUE:OF:YES:RELNS:28)
	  (INITIAL:VALUE:OF:YES:RELNS:28)
	  (CLASS:CLASSNAME:34 INITIAL:VALUE:OF:POSSIBLE:NAME:OF:CLASS:CLASSNAME:21)
	  (INITIAL:VALUE:OF:POSSIBLE:NAME:OF:CLASS:CLASSNAME:21)
	  (CLASS:OBJECTS:33 INITIAL:VALUE:OF:POSSIBLE:NAME:OF:CLASS:OBJECTS:20)
	  (INITIAL:VALUE:OF:POSSIBLE:NAME:OF:CLASS:OBJECTS:20)
	  (RESULT:2 NOTHING)
	  (RESULT:2 SET:OF:POSSIBLE:NAMES:OF:CLASS)
	  (COMPLEX:ALTERATION:32 ARG1)
	  (CONDITIONAL:INSERTION:31 ARG1)
	  (NO:RELNS:29)
	  (YES:RELNS:28)
	  ((APPEND YES:RELNS:28 NO:RELNS:29 MAYBE:RELNS:30)
	   (CONTRADICTS:27 RELATION ELEMENT:RELNS:15))
	  (CONTRADICTS:27 RELATION ELEMENT:RELNS:15)
	  (ELEMENT:RELNS:15)
	  (JOIN:23 (COMPARE:24 POSSIBLE:NAME:OF:CLASS:OBJECTS:20 ELEMENT:OBJECTS:11)
		   (COMPARE:25 POSSIBLE:NAME:OF:CLASS:CLASSNAME:21 ELEMENT:CLASSNAME:13)
		   (COMPARE:26 (APPEND YES:RELNS:28 NO:RELNS:29 MAYBE:RELNS:30)
			       ELEMENT:RELNS:15))
	  (COMPARE:26 (APPEND YES:RELNS:28 NO:RELNS:29 MAYBE:RELNS:30)
		      ELEMENT:RELNS:15)
	  ((APPEND YES:RELNS:28 NO:RELNS:29 MAYBE:RELNS:30)
	   ELEMENT:RELNS:15)
	  (ELEMENT:RELNS:15)
	  (COMPARE:25 POSSIBLE:NAME:OF:CLASS:CLASSNAME:21 ELEMENT:CLASSNAME:13)
	  (POSSIBLE:NAME:OF:CLASS:CLASSNAME:21 ELEMENT:CLASSNAME:13)
	  (ELEMENT:CLASSNAME:13)
	  (COMPARE:24 POSSIBLE:NAME:OF:CLASS:OBJECTS:20 ELEMENT:OBJECTS:11)
	  (POSSIBLE:NAME:OF:CLASS:OBJECTS:20 ELEMENT:OBJECTS:11)
	  (ELEMENT:OBJECTS:11)
	  (COMPARE:19 ARG1 ELEMENT:4)
	  (ELEMENT:4)
	  (LABEL:2 (COND ((NULL EVAL:ARG3)
			  (SET ARG1 FAILURE:VALUE)
			  (RETURN EXHAUSTION:VALUE)))
		   (SET ARG1 (CAR EVAL:ARG3))
		   (SETQ EVAL:ARG3 (CDR EVAL:ARG3))
		   (SETQ RESULT:1 (EVAL ARG5))
		   (COND ((NOT (EQUAL RESULT:1 NIL))
			  (RETURN UNTIL:CONDITION:VALUE))
			 (T (GO LABEL:2)))
		   (COMMENT AT THE TIME THAT FOREACH:17 WAS CODED, THE UNTIL CONDITION VALUE WAS LEFT UNDEFINED))
	  (LABEL:2)
	  (RESULT:1 NIL)
	  (RESULT:1)
	  (FOREACH:17 POSSIBLE:NAME:OF:CLASS IN SET:OF:POSSIBLE:NAMES:OF:CLASS DO
		      (TEST:18 POSSIBLE:NAME:OF:CLASS (COMMENT FOR SATISFACTION OF GOAL CRITERIA)))
	  (TEST:18 POSSIBLE:NAME:OF:CLASS (COMMENT FOR SATISFACTION OF GOAL CRITERIA))
	  (SOME:PART:OF:16 ARG1)
	  (SOME:PART:OF:14 ARG1)
	  (SOME:PART:OF:12 ARG1)
	  (SOME:PART:OF:16 ARG1)
	  (SOME:PART:OF:14 ARG1)
	  (SOME:PART:OF:12 ARG1)
	  (MODIFY:STRUCTURE:9 NAME:OF:CLASS)
	  (GET:HOLD:OF:8 NAME:OF:CLASS)
	  (MODIFY:STRUCTURE:7 NAME:OF:CLASS)
	  (TAKE:HOLD:OF:6 NAME:OF:CLASS)
	  (HAS:NAME:5 ELEMENT:4 (COMMENT PARTITION:BY:TAKE:ELE:AND:CLASS))
	  (ELEMENT:4 (COMMENT PARTITION:BY:TAKE:ELE:AND:CLASS))
	  (TAKE:HOLD:OF:3 ELEMENT:4)
	  (ELEMENT:4)
	  (PAD:2)))
  (RPAQQ TYPE:OF:LIST
	 ((VECTOR RESULT:9 TYPE OF (VECTOR RESULT:9)
		  IS USED IN (VECTOR ASSIGNMENT STATEMENT IN CONDITIONAL:INSERTION:55))
	  (VECTOR CONDITIONAL:INSERTION:55 TYPE OF (VECTOR CONDITIONAL:INSERTION)
		  IS
		  (VECTOR PROGN (VECTOR SETQ RESULT:9 (VECTOR CAR (VECTOR SETDIFFERENCE ELEMENT:RELNS:15 MAYBE:RELNS:30)
							      ))
			  (VECTOR COND (VECTOR (VECTOR AND (VECTOR EQUAL RESULT:8 NIL)
						       (VECTOR NOT (VECTOR EQUAL RESULT:9 NIL)))
					       NIL
					       (PUT POSSIBLE:NAME:OF:CLASS CLASS:NO:RELNS:36 (MERGE:IN RESULT:9
												       (GETP 
											     POSSIBLE:NAME:OF:CLASS 
												  CLASS:NO:RELNS:36)
												       BETTER)))
				  (VECTOR T NIL)))
		  AND IS USED IN MODIFY:STRUCTURE:48)
	  (VECTOR (VECTOR CONDITIONAL:INSERTION)
		  HAS BEEN STUDIED)
	  (VECTOR CONDITIONAL:INSERTION:55 TYPE OF (VECTOR CONDITIONAL:INSERTION)
		  IS UNKNOWN BUT USED IN MODIFY:STRUCTURE:48)
	  (VECTOR MODIFY:STRUCTURE:48 TYPE OF (VECTOR MODIFY:STRUCTURE)
		  IS
		  (VECTOR PROGN (VECTOR CONDITIONAL:INSERTION ARG1 ARG2)))
	  (VECTOR (VECTOR MODIFY:STRUCTURE)
		  HAS BEEN STUDIED)
	  (VECTOR RESULT:8 TYPE OF (VECTOR RESULT:8)
		  IS USED IN (VECTOR ASSIGNMENT STATEMENT IN CONDITIONAL:INSERTION:54))
	  (VECTOR CONDITIONAL:INSERTION:54 TYPE OF (VECTOR CONDITIONAL:INSERTION)
		  IS
		  (VECTOR PROGN (VECTOR SETQ RESULT:8 (VECTOR CAR (VECTOR SETDIFFERENCE MAYBE:RELNS:30 ELEMENT:RELNS:15)
							      ))
			  (VECTOR COND (VECTOR RESULT:8 NIL (PUT POSSIBLE:NAME:OF:CLASS CLASS:YES:RELNS:35
								 (MERGE:IN RESULT:8 (GETP POSSIBLE:NAME:OF:CLASS 
											  CLASS:YES:RELNS:35)
									   BETTER)))
				  (VECTOR T NIL)))
		  AND IS USED IN MODIFY:STRUCTURE:47)
	  (VECTOR (VECTOR CONDITIONAL:INSERTION)
		  HAS BEEN STUDIED)
	  (VECTOR CONDITIONAL:INSERTION:54 TYPE OF (VECTOR CONDITIONAL:INSERTION)
		  IS UNKNOWN BUT USED IN MODIFY:STRUCTURE:47)
	  (VECTOR MODIFY:STRUCTURE:47 TYPE OF (VECTOR MODIFY:STRUCTURE)
		  IS
		  (VECTOR PROGN (VECTOR CONDITIONAL:INSERTION ARG1 ARG2)))
	  (VECTOR (VECTOR MODIFY:STRUCTURE)
		  HAS BEEN STUDIED)
	  (VECTOR RESULT:7 TYPE OF (VECTOR RESULT:7)
		  IS USED IN (VECTOR ASSIGNMENT STATEMENT IN CONDITIONAL:INSERTION:53))
	  (VECTOR CONDITIONAL:INSERTION:53 TYPE OF (VECTOR CONDITIONAL:INSERTION)
		  IS
		  (VECTOR PROGN (VECTOR SETQ RESULT:7 (VECTOR LIST:JOIN RESULT:5 RESULT:6
							      (VECTOR CAR (VECTOR SETDIFFERENCE ELEMENT:RELNS:15
										  (VECTOR APPEND YES:RELNS:28 
											  NO:RELNS:29 MAYBE:RELNS:30))))
					)
			  (VECTOR COND (VECTOR RESULT:7 NIL (PUT NAME:OF:CLASS CLASS:MAYBE:RELNS:37
								 (MERGE:IN RESULT:7 (GETP NAME:OF:CLASS 
											  CLASS:MAYBE:RELNS:37)
									   BETTER)))
				  (VECTOR T NIL)))
		  AND IS USED IN MODIFY:STRUCTURE:42)
	  (VECTOR (VECTOR CONDITIONAL:INSERTION)
		  HAS BEEN STUDIED)
	  (VECTOR CONDITIONAL:INSERTION:53 TYPE OF (VECTOR CONDITIONAL:INSERTION)
		  IS UNKNOWN BUT USED IN MODIFY:STRUCTURE:42)
	  (VECTOR MODIFY:STRUCTURE:42 TYPE OF (VECTOR MODIFY:STRUCTURE)
		  IS
		  (VECTOR PROGN (VECTOR CONDITIONAL:INSERTION ARG1 ARG2)))
	  (VECTOR (VECTOR MODIFY:STRUCTURE)
		  HAS BEEN STUDIED)
	  (VECTOR (VECTOR MAYBE:RELNS:30)
		  HAS BEEN STUDIED)
	  (VECTOR RESULT:6 TYPE OF (VECTOR RESULT:6)
		  IS USED IN (VECTOR ASSIGNMENT STATEMENT IN CONDITIONAL:DELETION:52))
	  (VECTOR CONDITIONAL:DELETION:52 TYPE OF (VECTOR CONDITIONAL:DELETION)
		  IS
		  (VECTOR PROGN (VECTOR SETQ RESULT:6 (VECTOR CAR (VECTOR SETINTERSECTION NO:RELNS:29 ELEMENT:RELNS:15))
					)
			  (VECTOR COND (VECTOR RESULT:6 (PUT NAME:OF:CLASS CLASS:NO:RELNS:36 (PULLOUT RESULT:6
												      (GETP 
												      NAME:OF:CLASS 
												  CLASS:NO:RELNS:36))))
				  (VECTOR T NIL)))
		  AND IS USED IN (VECTOR PARTITION:A:DOMAIN))
	  (VECTOR (VECTOR CONDITIONAL:DELETION)
		  HAS BEEN STUDIED)
	  (VECTOR CONDITIONAL:DELETION:52 TYPE OF (VECTOR CONDITIONAL:DELETION)
		  IS UNKNOWN BUT USED IN MODIFY:STRUCTURE:41)
	  (VECTOR MODIFY:STRUCTURE:41 TYPE OF (VECTOR MODIFY:STRUCTURE)
		  IS
		  (VECTOR PROGN (VECTOR CONDITIONAL:DELETION ARG1 ARG2)))
	  (VECTOR (VECTOR MODIFY:STRUCTURE)
		  HAS BEEN STUDIED)
	  (VECTOR (VECTOR NO:RELNS:29)
		  HAS BEEN STUDIED)
	  (VECTOR RESULT:5 TYPE OF (VECTOR RESULT:5)
		  IS USED IN (VECTOR ASSIGNMENT STATEMENT IN CONDITIONAL:DELETION:51))
	  (VECTOR CONDITIONAL:DELETION:51 TYPE OF (VECTOR CONDITIONAL:DELETION)
		  IS
		  (VECTOR PROGN (VECTOR SETQ RESULT:5 (VECTOR CAR (VECTOR SETDIFFERENCE YES:RELNS:28 ELEMENT:RELNS:15)))
			  (VECTOR COND (VECTOR RESULT:5 (PUT NAME:OF:CLASS CLASS:YES:RELNS:35 (PULLOUT RESULT:5
												       (GETP 
												      NAME:OF:CLASS 
												 CLASS:YES:RELNS:35))))
				  (VECTOR T NIL)))
		  AND IS USED IN (VECTOR PARTITION:A:DOMAIN))
	  (VECTOR (VECTOR CONDITIONAL:DELETION)
		  HAS BEEN STUDIED)
	  (VECTOR CONDITIONAL:DELETION:51 TYPE OF (VECTOR CONDITIONAL:DELETION)
		  IS UNKNOWN BUT USED IN MODIFY:STRUCTURE:40)
	  (VECTOR MODIFY:STRUCTURE:40 TYPE OF (VECTOR MODIFY:STRUCTURE)
		  IS
		  (VECTOR PROGN (VECTOR CONDITIONAL:DELETION ARG1 ARG2)))
	  (VECTOR (VECTOR MODIFY:STRUCTURE)
		  HAS BEEN STUDIED)
	  (VECTOR (VECTOR YES:RELNS:28)
		  HAS BEEN STUDIED)
	  (VECTOR RESULT:4 TYPE OF (VECTOR RESULT:4)
		  IS USED IN (VECTOR ASSIGNMENT STATEMENT IN CONDITIONAL:INSERTION:50))
	  (VECTOR CONDITIONAL:INSERTION:50 TYPE OF (VECTOR CONDITIONAL:INSERTION)
		  IS
		  (VECTOR PROGN (VECTOR SETQ RESULT:4 (VECTOR CAR (VECTOR SETDIFFERENCE ELEMENT:OBJECTS:11 
									  POSSIBLE:NAME:OF:CLASS:OBJECTS:20)))
			  (VECTOR COND (VECTOR (VECTOR NOT (VECTOR EQUAL RESULT:4 NIL))
					       NIL
					       (PUT NAME:OF:CLASS CLASS:OBJECTS:33 (MERGE:IN RESULT:4 (GETP 
												      NAME:OF:CLASS 
												   CLASS:OBJECTS:33)
											     BETTER)))
				  (VECTOR T NIL)))
		  AND IS USED IN MODIFY:STRUCTURE:39)
	  (VECTOR (VECTOR CONDITIONAL:INSERTION)
		  HAS BEEN STUDIED)
	  (VECTOR CONDITIONAL:INSERTION:50 TYPE OF (VECTOR CONDITIONAL:INSERTION)
		  IS UNKNOWN BUT USED IN MODIFY:STRUCTURE:39)
	  (VECTOR MODIFY:STRUCTURE:39 TYPE OF (VECTOR MODIFY:STRUCTURE)
		  IS
		  (VECTOR PROGN (VECTOR CONDITIONAL:INSERTION ARG1 ARG2)))
	  (VECTOR (VECTOR MODIFY:STRUCTURE)
		  HAS BEEN STUDIED)
	  (VECTOR (VECTOR POSSIBLE:NAME:OF:CLASS:OBJECTS:20)
		  HAS BEEN STUDIED)
	  (VECTOR MODIFY:STRUCTURE:49 TYPE OF (VECTOR MODIFY:STRUCTURE)
		  IS UNKNOWN BUT USED IN COMPLEX:ALTERATION:46)
	  (VECTOR MODIFY:STRUCTURE:48 TYPE OF (VECTOR MODIFY:STRUCTURE)
		  IS UNKNOWN BUT USED IN COMPLEX:ALTERATION:46)
	  (VECTOR MODIFY:STRUCTURE:47 TYPE OF (VECTOR MODIFY:STRUCTURE)
		  IS UNKNOWN BUT USED IN COMPLEX:ALTERATION:46)
	  (VECTOR COMPLEX:ALTERATION:46 TYPE OF (VECTOR COMPLEX:ALTERATION)
		  IS
		  (VECTOR PROGN (VECTOR MODIFY:STRUCTURE YES:RELNS:28 POSSIBLE:NAME:OF:CLASS)
			  (VECTOR MODIFY:STRUCTURE NO:RELNS:29 POSSIBLE:NAME:OF:CLASS)
			  (VECTOR MODIFY:STRUCTURE MAYBE:RELNS:30 POSSIBLE:NAME:OF:CLASS)))
	  (VECTOR (VECTOR COMPLEX:ALTERATION)
		  HAS BEEN STUDIED)
	  (VECTOR (VECTOR POSSIBLE:NAME:OF:CLASS)
		  HAS BEEN STUDIED)
	  (VECTOR COMPLEX:ALTERATION:46 TYPE OF (VECTOR COMPLEX:ALTERATION)
		  IS UNKNOWN BUT USED IN COMPLEX:ALTERATION:45)
	  (VECTOR COMPLEX:ALTERATION:45 TYPE OF (VECTOR COMPLEX:ALTERATION)
		  IS
		  (VECTOR PROGN (VECTOR MODIFY:STRUCTURE POSSIBLE:NAME:OF:CLASS:OBJECTS:20 NAME:OF:CLASS)
			  (VECTOR MODIFY:STRUCTURE POSSIBLE:NAME:OF:CLASS:CLASSNAME:21 NAME:OF:CLASS)
			  (VECTOR MODIFY:STRUCTURE YES:RELNS:28 NAME:OF:CLASS)
			  (VECTOR MODIFY:STRUCTURE NO:RELNS:29 NAME:OF:CLASS)
			  (VECTOR MODIFY:STRUCTURE MAYBE:RELNS:30 NAME:OF:CLASS)
			  (VECTOR COMPLEX:ALTERATION POSSIBLE:NAME:OF:CLASS)))
	  (VECTOR (VECTOR COMPLEX:ALTERATION)
		  HAS BEEN STUDIED)
	  (VECTOR SET:OF:POSSIBLE:NAMES:OF:CLASS TYPE OF (VECTOR SET:OF:POSSIBLE:NAMES:OF:CLASS)
		  IS USED IN (VECTOR ASSIGNMENT STATEMENT IN CONDITIONAL:INSERTION:44))
	  (VECTOR SET:OF:POSSIBLE:NAMES:OF:CLASS TYPE OF (VECTOR SET:OF:POSSIBLE:NAMES:OF:CLASS)
		  IS USED IN (VECTOR ASSIGNMENT STATEMENT IN CONDITIONAL:INSERTION:44))
	  (VECTOR RESULT:3 TYPE OF (VECTOR RESULT:3)
		  IS USED IN (VECTOR ASSIGNMENT STATEMENT IN CONDITIONAL:INSERTION:44))
	  (VECTOR CONDITIONAL:INSERTION:44 TYPE OF (VECTOR CONDITIONAL:INSERTION)
		  IS
		  (VECTOR PROGN (VECTOR SETQ RESULT:3 ARG1)
			  (VECTOR COND (VECTOR (VECTOR AND (VECTOR NOT (VECTOR MEMBER RESULT:3 
									       SET:OF:POSSIBLE:NAMES:OF:CLASS))
						       (VECTOR NOT (VECTOR EQUAL RESULT:3 NOTHING)))
					       NIL
					       (COND ((ATOM RESULT:3)
						      (SETQ SET:OF:POSSIBLE:NAMES:OF:CLASS (MERGE:IN RESULT:3 
										     SET:OF:POSSIBLE:NAMES:OF:CLASS 
												     BETTER)))
						     (T (SETQ SET:OF:POSSIBLE:NAMES:OF:CLASS (MERGE (COPY RESULT:3)
												    (COPY 
										     SET:OF:POSSIBLE:NAMES:OF:CLASS)
												    BETTER)))))
				  (VECTOR T NIL)))
		  AND IS USED IN N MODIFY:STRUCTURE:9)
	  (VECTOR (VECTOR CONDITIONAL:INSERTION)
		  HAS BEEN STUDIED)
	  (VECTOR COMPLEX:ALTERATION:45 TYPE OF (VECTOR COMPLEX:ALTERATION)
		  IS UNKNOWN BUT USED IN MODIFY:STRUCTURE:9)
	  (VECTOR CONDITIONAL:INSERTION:44 TYPE OF (VECTOR CONDITIONAL:INSERTION)
		  IS UNKNOWN BUT USED IN MODIFY:STRUCTURE:9)
	  (VECTOR MODIFY:STRUCTURE:9 TYPE OF (VECTOR MODIFY:STRUCTURE)
		  IS
		  (VECTOR PROGN (VECTOR CONDITIONAL:INSERTION ARG1)
			  (VECTOR COMPLEX:ALTERATION ARG1)))
	  (VECTOR (VECTOR MODIFY:STRUCTURE)
		  HAS BEEN STUDIED)
	  (VECTOR (VECTOR NAME:OF:CLASS)
		  HAS BEEN STUDIED)
	  (VECTOR SIMPLE:COMPARE:FN:43 TYPE OF (VECTOR SIMPLE:COMPARE:FN)
		  IS
		  (VECTOR PROGN (VECTOR COMMENT THIS ALLOWS MERGE TO BE THE SAME AS CONS)
			  NIL))
	  (VECTOR (VECTOR SIMPLE:COMPARE:FN)
		  HAS BEEN STUDIED)
	  (VECTOR SIMPLE:COMPARE:FN:43 TYPE OF (VECTOR SIMPLE:COMPARE:FN)
		  IS UNKNOWN BUT USED IN BETTER:38)
	  (VECTOR BETTER:38 TYPE OF (VECTOR BETTER)
		  IS
		  (VECTOR SIMPLE:COMPARE:FN))
	  (VECTOR (VECTOR BETTER)
		  HAS BEEN STUDIED)
	  (VECTOR MODIFY:STRUCTURE:42 TYPE OF (VECTOR MODIFY:STRUCTURE)
		  IS UNKNOWN BUT USED IN COMPLEX:ALTERATION:32)
	  (VECTOR MODIFY:STRUCTURE:41 TYPE OF (VECTOR MODIFY:STRUCTURE)
		  IS UNKNOWN BUT USED IN COMPLEX:ALTERATION:32)
	  (VECTOR MODIFY:STRUCTURE:40 TYPE OF (VECTOR MODIFY:STRUCTURE)
		  IS UNKNOWN BUT USED IN COMPLEX:ALTERATION:32)
	  (VECTOR MODIFY:STRUCTURE:39 TYPE OF (VECTOR MODIFY:STRUCTURE)
		  IS UNKNOWN BUT USED IN COMPLEX:ALTERATION:32)
	  (VECTOR COMPLEX:ALTERATION:32 TYPE OF (VECTOR COMPLEX:ALTERATION)
		  IS
		  (VECTOR PROGN (VECTOR MODIFY:STRUCTURE POSSIBLE:NAME:OF:CLASS:OBJECTS:20 NAME:OF:CLASS)
			  (VECTOR MODIFY:STRUCTURE YES:RELNS:28 NAME:OF:CLASS)
			  (VECTOR MODIFY:STRUCTURE NO:RELNS:29 NAME:OF:CLASS)
			  (VECTOR MODIFY:STRUCTURE MAYBE:RELNS:30 NAME:OF:CLASS)))
	  (VECTOR (VECTOR COMPLEX:ALTERATION)
		  HAS BEEN STUDIED)
	  (VECTOR SET:OF:POSSIBLE:NAMES:OF:CLASS TYPE OF (VECTOR SET:OF:POSSIBLE:NAMES:OF:CLASS)
		  IS USED IN (VECTOR ASSIGNMENT STATEMENT IN CONDITIONAL:INSERTION:31))
	  (VECTOR BETTER:38 TYPE OF (VECTOR BETTER)
		  IS UNKNOWN BUT USED IN SET:OF:POSSIBLE:NAMES:OF:CLASS)
	  (VECTOR SET:OF:POSSIBLE:NAMES:OF:CLASS TYPE OF (VECTOR SET:OF:POSSIBLE:NAMES:OF:CLASS)
		  IS USED IN (VECTOR ASSIGNMENT STATEMENT IN CONDITIONAL:INSERTION:31))
	  (VECTOR RESULT:2 TYPE OF (VECTOR RESULT:2)
		  IS USED IN (VECTOR ASSIGNMENT STATEMENT IN CONDITIONAL:INSERTION:31))
	  (VECTOR CONDITIONAL:INSERTION:31 TYPE OF (VECTOR CONDITIONAL:INSERTION)
		  IS
		  (VECTOR PROGN (VECTOR SETQ RESULT:2 ARG1)
			  (VECTOR COND (VECTOR (VECTOR AND (VECTOR NOT (VECTOR MEMBER RESULT:2 
									       SET:OF:POSSIBLE:NAMES:OF:CLASS))
						       (VECTOR NOT (VECTOR EQUAL RESULT:2 NOTHING)))
					       (VECTOR PROGN (VECTOR PUT NAME:OF:CLASS CLASS:OBJECTS:33 
								 INITIAL:VALUE:OF:POSSIBLE:NAME:OF:CLASS:OBJECTS:20)
						       (VECTOR COMMENT THIS INITIALIZES 
							       POSSIBLE:NAME:OF:CLASS:OBJECTS:20)
						       (VECTOR PUT NAME:OF:CLASS CLASS:CLASSNAME:34 
							       INITIAL:VALUE:OF:POSSIBLE:NAME:OF:CLASS:CLASSNAME:21)
						       (VECTOR COMMENT THIS INITIALIZES 
							       POSSIBLE:NAME:OF:CLASS:CLASSNAME:21)
						       (VECTOR PUT NAME:OF:CLASS CLASS:YES:RELNS:35 
							       INITIAL:VALUE:OF:YES:RELNS:28)
						       (VECTOR COMMENT THIS INITIALIZES YES:RELNS:28)
						       (VECTOR PUT NAME:OF:CLASS CLASS:NO:RELNS:36 
							       INITIAL:VALUE:OF:NO:RELNS:29)
						       (VECTOR COMMENT THIS INITIALIZES NO:RELNS:29)
						       (VECTOR PUT NAME:OF:CLASS CLASS:MAYBE:RELNS:37 
							       INITIAL:VALUE:OF:MAYBE:RELNS:30)
						       (VECTOR COMMENT THIS INITIALIZES MAYBE:RELNS:30))
					       (COND ((ATOM RESULT:2)
						      (SETQ SET:OF:POSSIBLE:NAMES:OF:CLASS (MERGE:IN RESULT:2 
										     SET:OF:POSSIBLE:NAMES:OF:CLASS 
												     BETTER)))
						     (T (SETQ SET:OF:POSSIBLE:NAMES:OF:CLASS (MERGE (COPY RESULT:2)
												    (COPY 
										     SET:OF:POSSIBLE:NAMES:OF:CLASS)
												    BETTER)))))
				  (VECTOR T NIL)))
		  AND IS USED IN N)
	  (VECTOR (VECTOR CONDITIONAL:INSERTION)
		  HAS BEEN STUDIED)
	  (VECTOR COMPLEX:ALTERATION:32 TYPE OF (VECTOR COMPLEX:ALTERATION)
		  IS UNKNOWN BUT USED IN MODIFY:STRUCTURE:7)
	  (VECTOR CONDITIONAL:INSERTION:31 TYPE OF (VECTOR CONDITIONAL:INSERTION)
		  IS UNKNOWN BUT USED IN MODIFY:STRUCTURE:7)
	  (VECTOR MODIFY:STRUCTURE:7 TYPE OF (VECTOR MODIFY:STRUCTURE)
		  IS
		  (VECTOR PROGN (VECTOR CONDITIONAL:INSERTION ARG1)
			  (VECTOR COMPLEX:ALTERATION ARG1)))
	  (VECTOR (VECTOR MODIFY:STRUCTURE)
		  HAS BEEN STUDIED)
	  (VECTOR CONTRADICTS:27 TYPE OF (VECTOR RECOGNIZE:#)
		  IS
		  (VECTOR PROGN NIL
			  (VECTOR COND
				  (VECTOR (VECTOR MEMBER ARG1 YES:RELNS:28)
					  (VECTOR PROGN
						  (VECTOR COMMENT ARG1 OCCURS WITH PROBABILITY 1, SO IT HAD BETTER BE 
							  IN ARG2, THE RELEVANT PIECE OF THE WORLD)
						  (VECTOR NOT (VECTOR MEMBER ARG1 ARG2))))
				  (VECTOR (VECTOR MEMBER ARG1 NO:RELNS:29)
					  (VECTOR PROGN
						  (VECTOR COMMENT SINCE ARG1 SHOULD NEVER OCCUR, WE HAVE A 
							  CONTRADICTION IF IT IS A MEMBER OF ARG2)
						  (VECTOR MEMBER ARG1 ARG2)))
				  (VECTOR T
					  (VECTOR PROGN
						  (VECTOR COMMENT WE MAY OR MAY NOT HAVE ARG1 IN ARG2; EITHER CASE IS 
							  ALLOWABLE; SO WE NEVER HAVE A CONTRADICTION)
						  NIL)))))
	  (VECTOR (VECTOR RECOGNIZE:#)
		  HAS BEEN STUDIED)
	  (VECTOR CONTRADICTS:27 TYPE OF (VECTOR RECOGNIZE:#)
		  IS UNKNOWN BUT USED IN IN)
	  (VECTOR COMPARE:26 TYPE OF (VECTOR COMPARE)
		  IS
		  (VECTOR PROGN (VECTOR COMMENT HERE WE MAY LATER WANT TO PUT SOME ASSIGNMENTS, REWRITES, AND ITERATIVE 
					STATEMENTS)
			  (VECTOR COND (VECTOR (VECTOR NOT (VECTOR FORSOME RELATION IN (APPEND YES:RELNS:28 NO:RELNS:29 
											       MAYBE:RELNS:30)
								   (VECTOR RECOGNIZE:# RELATION ELEMENT:RELNS:15)))
					       T)
				  (VECTOR T NIL))))
	  (VECTOR (VECTOR COMPARE)
		  HAS BEEN STUDIED)
	  (VECTOR COMPARE:25 TYPE OF (VECTOR COMPARE)
		  IS
		  (VECTOR PROGN ARG1 ARG2
			  (VECTOR COMMENT THE PRESENCE OF ARG1 AND ARG2 ABOVE DOES NO HARM; IT IS NECESSARY SOMEWHERE 
				  IN THE FUNCTION SO THAT PUP WILL INSERT COMMENTS ABOUT WHAT ARG1 AND ARG2 GET 
				  INSTANTIATED AS.)
			  (VECTOR COMMENT SINCE THIS COMPARISON PREDICATE MUST ALWAYS RETURN THE CONSTANT VALUE T ,ALL 
				  THAT COMPARE:25 CAN POSSIBLY BE IS A SEQUENCE OF ASSIGNMENTS, REWRITES, AND ITERATIVE 
				  STATEMENTS, ENDING WITH T)
			  T))
	  (VECTOR (VECTOR COMPARE)
		  HAS BEEN STUDIED)
	  (VECTOR COMPARE:24 TYPE OF (VECTOR COMPARE)
		  IS
		  (VECTOR PROGN ARG1 ARG2
			  (VECTOR COMMENT THE PRESENCE OF ARG1 AND ARG2 ABOVE DOES NO HARM; IT IS NECESSARY SOMEWHERE 
				  IN THE FUNCTION SO THAT PUP WILL INSERT COMMENTS ABOUT WHAT ARG1 AND ARG2 GET 
				  INSTANTIATED AS.)
			  (VECTOR COMMENT SINCE THIS COMPARISON PREDICATE MUST ALWAYS RETURN THE CONSTANT VALUE T ,ALL 
				  THAT COMPARE:24 CAN POSSIBLY BE IS A SEQUENCE OF ASSIGNMENTS, REWRITES, AND ITERATIVE 
				  STATEMENTS, ENDING WITH T)
			  T))
	  (VECTOR (VECTOR COMPARE)
		  HAS BEEN STUDIED)
	  (VECTOR JOIN:23 TYPE OF (VECTOR JOINING:FUNCTION)
		  IS
		  (VECTOR AND ARG1 ARG2 ARG3))
	  (VECTOR (VECTOR JOINING:FUNCTION)
		  HAS BEEN STUDIED)
	  (VECTOR COMPARE:26 TYPE OF (VECTOR COMPARE)
		  IS UNKNOWN BUT USED IN COMPARE:19)
	  (VECTOR COMPARE:25 TYPE OF (VECTOR COMPARE)
		  IS UNKNOWN BUT USED IN COMPARE:19)
	  (VECTOR COMPARE:24 TYPE OF (VECTOR COMPARE)
		  IS UNKNOWN BUT USED IN COMPARE:19)
	  (VECTOR JOIN:23 TYPE OF (VECTOR JOINING:FUNCTION)
		  IS UNKNOWN BUT USED IN COMPARE:19)
	  (VECTOR COMPARE:19 TYPE OF (VECTOR COMPARE)
		  IS
		  (VECTOR PROGN ARG1 ARG2
			  (VECTOR COMMENT ARG1 AND ARG2 ARE HERE SIMPLY TO CAUSE PUP TO STICK IN COMMENTS ABOUT THEIR 
				  INSTANTIATION)
			  (VECTOR JOINING:FUNCTION (VECTOR COMPARE POSSIBLE:NAME:OF:CLASS:OBJECTS:20 ELEMENT:OBJECTS:11)
				  (VECTOR COMPARE POSSIBLE:NAME:OF:CLASS:CLASSNAME:21 ELEMENT:CLASSNAME:13)
				  (VECTOR COMPARE (APPEND YES:RELNS:28 NO:RELNS:29 MAYBE:RELNS:30)
					  ELEMENT:RELNS:15))))
	  (VECTOR (VECTOR COMPARE)
		  HAS BEEN STUDIED)
	  (VECTOR (VECTOR ELEMENT:4)
		  HAS BEEN STUDIED)
	  (VECTOR COMPARE:19 TYPE OF (VECTOR COMPARE)
		  IS UNKNOWN BUT USED IN TEST:18)
	  (VECTOR TEST:18 TYPE OF (VECTOR TEST)
		  IS
		  (VECTOR COMPARE ARG1 ELEMENT:4))
	  (VECTOR (VECTOR TEST)
		  HAS BEEN STUDIED)
	  (VECTOR RESULT:1 TYPE OF (VECTOR RESULT:1)
		  IS USED IN (VECTOR ASSIGNMENT STATEMENT IN FOREACH:17))
	  (VECTOR EVAL:ARG3 TYPE OF (VECTOR EVAL:ARG3)
		  IS USED IN (VECTOR ASSIGNMENT STATEMENT IN FOREACH:17))
	  (VECTOR EVAL:ARG3 TYPE OF (VECTOR EVAL:ARG3)
		  IS USED IN (VECTOR ASSIGNMENT STATEMENT IN FOREACH:17))
	  (VECTOR FOREACH:17 TYPE OF (VECTOR FOREACH)
		  IS
		  (VECTOR PROGN (COMMENT IN ALL CALLS TO DATE, ARG1 IS BOUND TO POSSIBLE:NAME:OF:CLASS)
			  (COMMENT IN ALL CALLS TO DATE, ARG3 IS BOUND TO SET:OF:POSSIBLE:NAMES:OF:CLASS)
			  (COMMENT IN ALL CALLS TO DATE, ARG5 IS BOUND TO (COMMENT TEST POSSIBLE:NAME:OF:CLASS
										   (COMMENT FOR SATISFACTION OF GOAL 
											    CRITERIA)))
			  (PROG (VECTOR RESULT:1)
				(VECTOR SETQ EVAL:ARG3 (VECTOR EVAL ARG3))
				LABEL:2
				(VECTOR COND (VECTOR (VECTOR NULL EVAL:ARG3)
						     (VECTOR SET ARG1 FAILURE:VALUE)
						     (VECTOR RETURN EXHAUSTION:VALUE)))
				(VECTOR SET ARG1 (VECTOR CAR EVAL:ARG3))
				(VECTOR SETQ EVAL:ARG3 (VECTOR CDR EVAL:ARG3))
				(VECTOR SETQ RESULT:1 (VECTOR EVAL ARG5))
				(VECTOR COND (VECTOR (VECTOR NOT (VECTOR EQUAL RESULT:1 NIL))
						     (VECTOR RETURN UNTIL:CONDITION:VALUE))
					(VECTOR T (VECTOR GO LABEL:2)))
				(COMMENT AT THE TIME THAT FOREACH:17 WAS CODED, THE UNTIL CONDITION VALUE WAS LEFT 
					 UNDEFINED))))
	  (VECTOR (VECTOR FOREACH)
		  HAS BEEN STUDIED)
	  (VECTOR (VECTOR DO)
		  HAS BEEN STUDIED)
	  (VECTOR (VECTOR IN)
		  HAS BEEN STUDIED)
	  (VECTOR TEST:18 TYPE OF (VECTOR TEST)
		  IS UNKNOWN BUT USED IN DO)
	  (VECTOR FOREACH:17 TYPE OF (VECTOR FOREACH)
		  IS UNKNOWN BUT USED IN GET:HOLD:OF:8)
	  (VECTOR GET:HOLD:OF:8 TYPE OF (VECTOR GET:HOLD:OF)
		  IS
		  (FOREACH POSSIBLE:NAME:OF:CLASS IN SET:OF:POSSIBLE:NAMES:OF:CLASS DO
			   (TEST POSSIBLE:NAME:OF:CLASS (COMMENT FOR SATISFACTION OF GOAL CRITERIA))))
	  (VECTOR (VECTOR GET:HOLD:OF)
		  HAS BEEN STUDIED)
	  (VECTOR TAKE:HOLD:OF:6 TYPE OF (VECTOR TAKE:HOLD:OF)
		  IS
		  (VECTOR COMMENT DO NOTHING SINCE WE ALREADY HAVE WHAT WE WANT))
	  (VECTOR (VECTOR TAKE:HOLD:OF)
		  HAS BEEN STUDIED)
	  (VECTOR ELEMENT:RELNS:15 TYPE OF (VECTOR ELEMENT:RELNS:15)
		  IS USED IN (VECTOR ASSIGNMENT STATEMENT IN TAKE:HOLD:OF:3))
	  (VECTOR ELEMENT:CLASSNAME:13 TYPE OF (VECTOR ELEMENT:CLASSNAME:13)
		  IS USED IN (VECTOR ASSIGNMENT STATEMENT IN TAKE:HOLD:OF:3))
	  (VECTOR ELEMENT:OBJECTS:11 TYPE OF (VECTOR ELEMENT:OBJECTS:11)
		  IS USED IN (VECTOR ASSIGNMENT STATEMENT IN TAKE:HOLD:OF:3))
	  (VECTOR TAKE:HOLD:OF:3 TYPE OF (VECTOR TAKE:HOLD:OF)
		  IS
		  (VECTOR PROGN (VECTOR SET ARG1 (VECTOR PREAD))
			  (VECTOR SETQ ELEMENT:OBJECTS:11 (VECTOR SOME:PART:OF:12 ARG1))
			  (VECTOR SETQ ELEMENT:CLASSNAME:13 (VECTOR SOME:PART:OF:14 ARG1))
			  (VECTOR SETQ ELEMENT:RELNS:15 (VECTOR SOME:PART:OF:16 ARG1))
			  T))
	  (VECTOR ELEMENT:RELNS:15 TYPE OF (VECTOR STATIC RELATIONS S BETWEEN OBJECTS)
		  IS USED IN THE ASSIGNMENT STATEMENT (SETQ ELEMENT:RELNS:15 (SOME:PART:OF:16 ARG1))
		  IN TAKE:HOLD:OF:3)
	  (VECTOR SOME:PART:OF:16 TYPE OF (VECTOR SOME:PART:OF)
		  IS UNKNOWN BUT USED IN TAKE:HOLD:OF:3)
	  (VECTOR ELEMENT:RELNS:15 TYPE OF (VECTOR STATIC:RELATIONS:S:BETWEEN:OBJECTS)
		  IS USED IN (VECTOR ASSIGNMENT STATEMENT IN TAKE:HOLD:OF:3))
	  (VECTOR ELEMENT:CLASSNAME:13 TYPE OF (VECTOR CLASS:NAME NAME N)
		  IS USED IN THE ASSIGNMENT STATEMENT (SETQ ELEMENT:CLASSNAME:13 (SOME:PART:OF:14 ARG1))
		  IN TAKE:HOLD:OF:3)
	  (VECTOR SOME:PART:OF:14 TYPE OF (VECTOR SOME:PART:OF)
		  IS UNKNOWN BUT USED IN TAKE:HOLD:OF:3)
	  (VECTOR ELEMENT:CLASSNAME:13 TYPE OF (VECTOR CLASS:NAME:NAME:N)
		  IS USED IN (VECTOR ASSIGNMENT STATEMENT IN TAKE:HOLD:OF:3))
	  (VECTOR ELEMENT:OBJECTS:11 TYPE OF (VECTOR OBJECTS SET O)
		  IS USED IN THE ASSIGNMENT STATEMENT (SETQ ELEMENT:OBJECTS:11 (SOME:PART:OF:12 ARG1))
		  IN TAKE:HOLD:OF:3)
	  (VECTOR SOME:PART:OF:12 TYPE OF (VECTOR SOME:PART:OF)
		  IS UNKNOWN BUT USED IN TAKE:HOLD:OF:3)
	  (VECTOR ELEMENT:OBJECTS:11 TYPE OF (VECTOR OBJECTS:SET:O)
		  IS USED IN (VECTOR ASSIGNMENT STATEMENT IN TAKE:HOLD:OF:3))
	  (VECTOR (VECTOR TAKE:HOLD:OF)
		  HAS BEEN STUDIED)
	  (VECTOR (VECTOR IS:OF:TYPE)
		  HAS BEEN STUDIED)
	  (VECTOR (VECTOR ELEMENT)
		  HAS BEEN STUDIED)
	  (VECTOR MODIFY:STRUCTURE:9 TYPE OF (VECTOR MODIFY:STRUCTURE)
		  IS UNKNOWN BUT USED IN PAD:2)
	  (VECTOR GET:HOLD:OF:8 TYPE OF (VECTOR GET:HOLD:OF)
		  IS UNKNOWN BUT USED IN PAD:2)
	  (VECTOR MODIFY:STRUCTURE:7 TYPE OF (VECTOR MODIFY:STRUCTURE)
		  IS UNKNOWN BUT USED IN PAD:2)
	  (VECTOR TAKE:HOLD:OF:6 TYPE OF (VECTOR TAKE:HOLD:OF)
		  IS UNKNOWN BUT USED IN PAD:2)
	  (VECTOR HAS:NAME:5 TYPE OF (VECTOR IS:OF:TYPE)
		  IS
		  (VECTOR NOT (VECTOR EQUAL (VECTOR CAR ARG1)
				      ???))
		  AND IS USED IN PAD:2)
	  (VECTOR ELEMENT:4 TYPE OF (VECTOR ELEMENT)
		  IS
		  (STRUCTURE (OBJECTS SET O)
			     (CLASS:NAME NAME N)
			     (STATIC RELATIONS S BETWEEN OBJECTS))
		  AND IS USED IN PAD:2)
	  (VECTOR TAKE:HOLD:OF:3 TYPE OF (VECTOR TAKE:HOLD:OF)
		  IS UNKNOWN BUT USED IN PAD:2)
	  (VECTOR PAD:2 TYPE OF (VECTOR PARTITION:A:DOMAIN)
		  IS
		  (VECTOR REPEATEDLY (VECTOR TAKE:HOLD:OF ELEMENT)
			  (VECTOR COND (VECTOR (VECTOR IS:OF:TYPE ELEMENT (VECTOR COMMENT 
										  PARTITION:BY:TAKE:ELE:AND:CLASS))
					       (VECTOR PROGN (VECTOR TAKE:HOLD:OF NAME:OF:CLASS)
						       (VECTOR MODIFY:STRUCTURE NAME:OF:CLASS)))
				  (VECTOR T (VECTOR PROGN (VECTOR GET:HOLD:OF NAME:OF:CLASS)
						    (VECTOR MODIFY:STRUCTURE NAME:OF:CLASS))))))
	  (VECTOR (VECTOR PARTITION:A:DOMAIN)
		  HAS BEEN STUDIED)
	  (VECTOR PAD:2 TYPE OF (VECTOR PARTITION:A:DOMAIN)
		  IS UNKNOWN BUT USED IN CF:1)
	  (VECTOR CF:1 TYPE OF (CONCEPT:FORMATION)
		  IS
		  (VECTOR TEMPORARILY (VECTOR PARTITION:A:DOMAIN)))
	  (VECTOR (VECTOR CONCEPT:FORMATION)
		  HAS BEEN STUDIED)))
  (RPAQQ UNDEFERRED:DECISION:LIST NIL)
  (RPAQQ UNDEFINED:SECTION:LIST ((VECTOR SOME:PART:OF:12 TYPE OF (VECTOR SOME:PART:OF))
	  (VECTOR SOME:PART:OF:14 TYPE OF (VECTOR SOME:PART:OF))
	  (VECTOR SOME:PART:OF:16 TYPE OF (VECTOR SOME:PART:OF))
	  (VECTOR MODIFY:STRUCTURE:49 TYPE OF (VECTOR MODIFY:STRUCTURE))))
  (RPAQQ UNKNOWN:TASK NOBIND)
  (RPAQQ USABLE:INFO:LIST NIL)
  (RPAQQ USER:INTERRUPT:DEMONS NIL)
  (RPAQQ USER:WANTS:LIST NIL)
  (RPAQQ WRITTEN:PROGRAMS:LIST NIL)
  (PUTPROPS CONDITIONAL:INSERTION:55 EXPLICIT:ARGS (DUMMY:ARGUMENT:2 DUMMY:ARGUMENT:1) 
                                     EXPLICIT:ARGS:CHECK T 
                                     WHAT (VECTOR A SPECIALIZED BEING WHICH DOES
						  (TUPLE PERHAPS WE WILL STICK IN A CONDITIONAL INSERTION STATEMENT, 
							 STICKING IN AN (@ DUMMY:ARGUMENT:2)
							 -TYPE ELEMENT INTO ITS PARENT STRUCTURE)) 
                                     HOW (TUPLE WE WILL ASK THE USER, PROBABLY) 
                                     WHY (TUPLE BECAUSE IF AN INSERTION IS NOT TO BE MADE, THEN WE WANT TO WIPE OUT ALL 
						TRACES OF THIS STATEMENT; IF ONE IS TO BE MADE, WE WILL NEED THE USER 
						TO GUIDE US SINCE THE DETAILS HERE DEPEND CRITICALLY UPON THE DETAILS 
						HE HAS IN MIND FOR THE PROGRAM AND CONDITIONAL:INSERTION IS TOO GENERAL 
						TO USE AS IT IS) 
                                     META:CODE (PROGN (SETQ RESULT:9 (CAR (SETDIFFERENCE ELEMENT:RELNS:15 
											 MAYBE:RELNS:30)))
						      (COND ((AND (EQUAL RESULT:8 NIL)
								  (NOT (EQUAL RESULT:9 NIL)))
							     NIL
							     (PUT POSSIBLE:NAME:OF:CLASS CLASS:NO:RELNS:36
								  (MERGE:IN RESULT:9 (GETP POSSIBLE:NAME:OF:CLASS 
											   CLASS:NO:RELNS:36)
									    BETTER:38)))
							    (T NIL))) 
                                     COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                                     GENERALIZATIONS (CONDITIONAL:INSERTION TUPLE MODIFY:STRUCTURE) 
                                     SPECIALIZATIONS NIL 
                                     BEING T 
                                     IDEN NIL 
                                     MAIN:EFFECTS NIL 
                                     AFFECTS (VECTOR (VECTOR ELEMENT:RELNS:15 POSSIBLE CALLED)
						     (VECTOR BETTER:38 POSSIBLE CALLED)))
  (PUTPROPS MODIFY:STRUCTURE:48 EXPLICIT:ARGS (ARG1 ARG2) 
                                EXPLICIT:ARGS:CHECK T 
                                WHAT (VECTOR A SPECIALIZED BEING WHICH DOES (TUPLE MODIFY THE STRUCTURE CONTAINING
										   (@ ARG1)
										   AS AN ELEMENT)) 
                                HOW (TUPLE BY SOME OF THESE: INSERTING, DELETING, ALTERING AN ELEMENT OR TWO) 
                                WHY (TUPLE BECAUSE THE GIST OF CONCEPT FORMATION IS MODIFYING THE STRUCTURE WHICH 
					   REPRESENTS A DESCRIPTION OF A CONCEPT AND MODIFY:STRUCTURE IS TOO GENERAL TO 
					   USE AS IT IS) 
                                META:CODE (PROGN (COMMENT IN ALL CALLS TO DATE, ARG1 IS INSTANTIATED AS NO:RELNS:29)
						 (COMMENT IN ALL CALLS TO DATE, ARG2 IS INSTANTIATED AS 
							  POSSIBLE:NAME:OF:CLASS)
						 (PROGN (CONDITIONAL:INSERTION:55 ARG1 ARG2))) 
                                COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                                GENERALIZATIONS (MODIFY:STRUCTURE TUPLE MODIFY) 
                                SPECIALIZATIONS NIL 
                                ALTERNATIVES (TUPLE REPLACE:STRUCTURE DELETE:ENTIRE:STRUCTURE) 
                                BEING T 
                                IDEN NIL 
                                MAIN:EFFECTS NIL 
                                AFFECTS (VECTOR (VECTOR IN POSSIBLE CALLED)
						(VECTOR IN POSSIBLE CALLED)))
  (PUTPROPS CONDITIONAL:INSERTION:54 EXPLICIT:ARGS (DUMMY:ARGUMENT:2 DUMMY:ARGUMENT:1) 
                                     EXPLICIT:ARGS:CHECK T 
                                     WHAT (VECTOR A SPECIALIZED BEING WHICH DOES
						  (TUPLE PERHAPS WE WILL STICK IN A CONDITIONAL INSERTION STATEMENT, 
							 STICKING IN AN (@ DUMMY:ARGUMENT:2)
							 -TYPE ELEMENT INTO ITS PARENT STRUCTURE)) 
                                     HOW (TUPLE WE WILL ASK THE USER, PROBABLY) 
                                     WHY (TUPLE BECAUSE IF AN INSERTION IS NOT TO BE MADE, THEN WE WANT TO WIPE OUT ALL 
						TRACES OF THIS STATEMENT; IF ONE IS TO BE MADE, WE WILL NEED THE USER 
						TO GUIDE US SINCE THE DETAILS HERE DEPEND CRITICALLY UPON THE DETAILS 
						HE HAS IN MIND FOR THE PROGRAM AND CONDITIONAL:INSERTION IS TOO GENERAL 
						TO USE AS IT IS) 
                                     META:CODE (PROGN (SETQ RESULT:8 (CAR (SETDIFFERENCE MAYBE:RELNS:30 
											 ELEMENT:RELNS:15)))
						      (COND (RESULT:8 NIL (PUT POSSIBLE:NAME:OF:CLASS 
									       CLASS:YES:RELNS:35 (MERGE:IN
										 RESULT:8
										 (GETP POSSIBLE:NAME:OF:CLASS 
										       CLASS:YES:RELNS:35)
										 BETTER:38)))
							    (T NIL))) 
                                     COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                                     GENERALIZATIONS (CONDITIONAL:INSERTION TUPLE MODIFY:STRUCTURE) 
                                     SPECIALIZATIONS NIL 
                                     BEING T 
                                     IDEN NIL 
                                     MAIN:EFFECTS NIL 
                                     AFFECTS (VECTOR (VECTOR ELEMENT:RELNS:15 POSSIBLE CALLED)
						     (VECTOR BETTER:38 POSSIBLE CALLED)))
  (PUTPROPS MODIFY:STRUCTURE:47 EXPLICIT:ARGS (ARG1 ARG2) 
                                EXPLICIT:ARGS:CHECK T 
                                WHAT (VECTOR A SPECIALIZED BEING WHICH DOES (TUPLE MODIFY THE STRUCTURE CONTAINING
										   (@ ARG1)
										   AS AN ELEMENT)) 
                                HOW (TUPLE BY SOME OF THESE: INSERTING, DELETING, ALTERING AN ELEMENT OR TWO) 
                                WHY (TUPLE BECAUSE THE GIST OF CONCEPT FORMATION IS MODIFYING THE STRUCTURE WHICH 
					   REPRESENTS A DESCRIPTION OF A CONCEPT AND MODIFY:STRUCTURE IS TOO GENERAL TO 
					   USE AS IT IS) 
                                META:CODE (PROGN (COMMENT IN ALL CALLS TO DATE, ARG1 IS INSTANTIATED AS YES:RELNS:28)
						 (COMMENT IN ALL CALLS TO DATE, ARG2 IS INSTANTIATED AS 
							  POSSIBLE:NAME:OF:CLASS)
						 (PROGN (CONDITIONAL:INSERTION:54 ARG1 ARG2))) 
                                COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                                GENERALIZATIONS (MODIFY:STRUCTURE TUPLE MODIFY) 
                                SPECIALIZATIONS NIL 
                                ALTERNATIVES (TUPLE REPLACE:STRUCTURE DELETE:ENTIRE:STRUCTURE) 
                                BEING T 
                                IDEN NIL 
                                MAIN:EFFECTS NIL 
                                AFFECTS (VECTOR (VECTOR IN POSSIBLE CALLED)
						(VECTOR IN POSSIBLE CALLED)))
  (PUTPROPS CONDITIONAL:INSERTION:53 EXPLICIT:ARGS (DUMMY:ARGUMENT:2 DUMMY:ARGUMENT:1) 
                                     EXPLICIT:ARGS:CHECK T 
                                     WHAT (VECTOR A SPECIALIZED BEING WHICH DOES
						  (TUPLE PERHAPS WE WILL STICK IN A CONDITIONAL INSERTION STATEMENT, 
							 STICKING IN AN (@ DUMMY:ARGUMENT:2)
							 -TYPE ELEMENT INTO ITS PARENT STRUCTURE)) 
                                     HOW (TUPLE WE WILL ASK THE USER, PROBABLY) 
                                     WHY (TUPLE BECAUSE IF AN INSERTION IS NOT TO BE MADE, THEN WE WANT TO WIPE OUT ALL 
						TRACES OF THIS STATEMENT; IF ONE IS TO BE MADE, WE WILL NEED THE USER 
						TO GUIDE US SINCE THE DETAILS HERE DEPEND CRITICALLY UPON THE DETAILS 
						HE HAS IN MIND FOR THE PROGRAM AND CONDITIONAL:INSERTION IS TOO GENERAL 
						TO USE AS IT IS) 
                                     META:CODE (PROGN (SETQ RESULT:7 (LIST:JOIN RESULT:5 RESULT:6
										(CAR (SETDIFFERENCE ELEMENT:RELNS:15
												    (APPEND 
												       YES:RELNS:28 
													NO:RELNS:29 
												     MAYBE:RELNS:30)))))
						      (COND (RESULT:7 NIL (PUT NAME:OF:CLASS CLASS:MAYBE:RELNS:37
									       (MERGE:IN RESULT:7 (GETP NAME:OF:CLASS 
											       CLASS:MAYBE:RELNS:37)
											 BETTER:38)))
							    (T NIL))) 
                                     COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                                     GENERALIZATIONS (CONDITIONAL:INSERTION TUPLE MODIFY:STRUCTURE) 
                                     SPECIALIZATIONS NIL 
                                     BEING T 
                                     IDEN NIL 
                                     MAIN:EFFECTS NIL 
                                     AFFECTS (VECTOR (VECTOR ELEMENT:RELNS:15 POSSIBLE CALLED)
						     (VECTOR BETTER:38 POSSIBLE CALLED)))
  (PUTPROPS MODIFY:STRUCTURE:42 EXPLICIT:ARGS (ARG1 ARG2) 
                                EXPLICIT:ARGS:CHECK T 
                                WHAT (VECTOR A SPECIALIZED BEING WHICH DOES (TUPLE MODIFY THE STRUCTURE CONTAINING
										   (@ ARG1)
										   AS AN ELEMENT)) 
                                HOW (TUPLE BY SOME OF THESE: INSERTING, DELETING, ALTERING AN ELEMENT OR TWO) 
                                WHY (TUPLE BECAUSE THE GIST OF CONCEPT FORMATION IS MODIFYING THE STRUCTURE WHICH 
					   REPRESENTS A DESCRIPTION OF A CONCEPT AND MODIFY:STRUCTURE IS TOO GENERAL TO 
					   USE AS IT IS) 
                                META:CODE (PROGN (COMMENT IN ALL CALLS TO DATE, ARG1 IS INSTANTIATED AS MAYBE:RELNS:30)
						 (COMMENT IN ALL CALLS TO DATE, ARG2 IS INSTANTIATED AS NAME:OF:CLASS)
						 (PROGN (CONDITIONAL:INSERTION:53 ARG1 ARG2))) 
                                COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                                GENERALIZATIONS (MODIFY:STRUCTURE TUPLE MODIFY) 
                                SPECIALIZATIONS NIL 
                                ALTERNATIVES (TUPLE REPLACE:STRUCTURE DELETE:ENTIRE:STRUCTURE) 
                                BEING T 
                                IDEN NIL 
                                MAIN:EFFECTS NIL 
                                AFFECTS (VECTOR (VECTOR IN POSSIBLE CALLED)
						(VECTOR IN POSSIBLE CALLED)))
  (PUTPROPS CONDITIONAL:DELETION:52 EXPLICIT:ARGS (DUMMY:ARGUMENT:2 DUMMY:ARGUMENT:1) 
                                    EXPLICIT:ARGS:CHECK T 
                                    WHAT (VECTOR A SPECIALIZED BEING WHICH DOES
						 (TUPLE PERHAPS WE WILL STICK IN A CONDITIONAL DELETION STATEMENT, 
							STICKING IN AN (@ DUMMY:ARGUMENT:2)
							-TYPE ELEMENT INTO ITS PARENT STRUCTURE)) 
                                    HOW (TUPLE WE WILL ASK THE USER, PROBABLY) 
                                    WHY (TUPLE BECAUSE IF AN DELETION IS NOT TO BE MADE, THEN WE WANT TO WIPE OUT ALL 
					       TRACES OF THIS STATEMENT; IF ONE IS TO BE MADE, WE WILL NEED THE USER TO 
					       GUIDE US SINCE THE DETAILS HERE DEPEND CRITICALLY UPON THE DETAILS HE 
					       HAS IN MIND FOR THE PROGRAM AND CONDITIONAL:DELETION IS TOO GENERAL TO 
					       USE AS IT IS) 
                                    META:CODE (PROGN (SETQ RESULT:6 (CAR (SETINTERSECTION NO:RELNS:29 ELEMENT:RELNS:15))
							   )
						     (COND (RESULT:6 (PUT NAME:OF:CLASS CLASS:NO:RELNS:36
									  (PULLOUT RESULT:6 (GETP NAME:OF:CLASS 
												  CLASS:NO:RELNS:36))))
							   (T NIL))) 
                                    COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                                    GENERALIZATIONS (CONDITIONAL:DELETION TUPLE MODIFY:STRUCTURE) 
                                    SPECIALIZATIONS NIL 
                                    BEING T 
                                    IDEN NIL 
                                    MAIN:EFFECTS NIL 
                                    AFFECTS (VECTOR (VECTOR ELEMENT:RELNS:15 POSSIBLE CALLED)))
  (PUTPROPS MODIFY:STRUCTURE:41 EXPLICIT:ARGS (ARG1 ARG2) 
                                EXPLICIT:ARGS:CHECK T 
                                WHAT (VECTOR A SPECIALIZED BEING WHICH DOES (TUPLE MODIFY THE STRUCTURE CONTAINING
										   (@ ARG1)
										   AS AN ELEMENT)) 
                                HOW (TUPLE BY SOME OF THESE: INSERTING, DELETING, ALTERING AN ELEMENT OR TWO) 
                                WHY (TUPLE BECAUSE THE GIST OF CONCEPT FORMATION IS MODIFYING THE STRUCTURE WHICH 
					   REPRESENTS A DESCRIPTION OF A CONCEPT AND MODIFY:STRUCTURE IS TOO GENERAL TO 
					   USE AS IT IS) 
                                META:CODE (PROGN (COMMENT IN ALL CALLS TO DATE, ARG1 IS INSTANTIATED AS NO:RELNS:29)
						 (COMMENT IN ALL CALLS TO DATE, ARG2 IS INSTANTIATED AS NAME:OF:CLASS)
						 (PROGN (CONDITIONAL:DELETION:52 ARG1 ARG2))) 
                                COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                                GENERALIZATIONS (MODIFY:STRUCTURE TUPLE MODIFY) 
                                SPECIALIZATIONS NIL 
                                ALTERNATIVES (TUPLE REPLACE:STRUCTURE DELETE:ENTIRE:STRUCTURE) 
                                BEING T 
                                IDEN NIL 
                                MAIN:EFFECTS NIL 
                                AFFECTS (VECTOR (VECTOR IN POSSIBLE CALLED)
						(VECTOR IN POSSIBLE CALLED)))
  (PUTPROPS CONDITIONAL:DELETION:51 EXPLICIT:ARGS (DUMMY:ARGUMENT:2 DUMMY:ARGUMENT:1) 
                                    EXPLICIT:ARGS:CHECK T 
                                    WHAT (VECTOR A SPECIALIZED BEING WHICH DOES
						 (TUPLE PERHAPS WE WILL STICK IN A CONDITIONAL DELETION STATEMENT, 
							STICKING IN AN (@ DUMMY:ARGUMENT:2)
							-TYPE ELEMENT INTO ITS PARENT STRUCTURE)) 
                                    HOW (TUPLE WE WILL ASK THE USER, PROBABLY) 
                                    WHY (TUPLE BECAUSE IF AN DELETION IS NOT TO BE MADE, THEN WE WANT TO WIPE OUT ALL 
					       TRACES OF THIS STATEMENT; IF ONE IS TO BE MADE, WE WILL NEED THE USER TO 
					       GUIDE US SINCE THE DETAILS HERE DEPEND CRITICALLY UPON THE DETAILS HE 
					       HAS IN MIND FOR THE PROGRAM AND CONDITIONAL:DELETION IS TOO GENERAL TO 
					       USE AS IT IS) 
                                    META:CODE (PROGN (SETQ RESULT:5 (CAR (SETDIFFERENCE YES:RELNS:28 ELEMENT:RELNS:15)))
						     (COND (RESULT:5 (PUT NAME:OF:CLASS CLASS:YES:RELNS:35
									  (PULLOUT RESULT:5 (GETP NAME:OF:CLASS 
												 CLASS:YES:RELNS:35))))
							   (T NIL))) 
                                    COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                                    GENERALIZATIONS (CONDITIONAL:DELETION TUPLE MODIFY:STRUCTURE) 
                                    SPECIALIZATIONS NIL 
                                    BEING T 
                                    IDEN NIL 
                                    MAIN:EFFECTS NIL 
                                    AFFECTS (VECTOR (VECTOR ELEMENT:RELNS:15 POSSIBLE CALLED)))
  (PUTPROPS MODIFY:STRUCTURE:40 EXPLICIT:ARGS (ARG1 ARG2) 
                                EXPLICIT:ARGS:CHECK T 
                                WHAT (VECTOR A SPECIALIZED BEING WHICH DOES (TUPLE MODIFY THE STRUCTURE CONTAINING
										   (@ ARG1)
										   AS AN ELEMENT)) 
                                HOW (TUPLE BY SOME OF THESE: INSERTING, DELETING, ALTERING AN ELEMENT OR TWO) 
                                WHY (TUPLE BECAUSE THE GIST OF CONCEPT FORMATION IS MODIFYING THE STRUCTURE WHICH 
					   REPRESENTS A DESCRIPTION OF A CONCEPT AND MODIFY:STRUCTURE IS TOO GENERAL TO 
					   USE AS IT IS) 
                                META:CODE (PROGN (COMMENT IN ALL CALLS TO DATE, ARG1 IS INSTANTIATED AS YES:RELNS:28)
						 (COMMENT IN ALL CALLS TO DATE, ARG2 IS INSTANTIATED AS NAME:OF:CLASS)
						 (PROGN (CONDITIONAL:DELETION:51 ARG1 ARG2))) 
                                COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                                GENERALIZATIONS (MODIFY:STRUCTURE TUPLE MODIFY) 
                                SPECIALIZATIONS NIL 
                                ALTERNATIVES (TUPLE REPLACE:STRUCTURE DELETE:ENTIRE:STRUCTURE) 
                                BEING T 
                                IDEN NIL 
                                MAIN:EFFECTS NIL 
                                AFFECTS (VECTOR (VECTOR IN POSSIBLE CALLED)
						(VECTOR IN POSSIBLE CALLED)))
  (PUTPROPS CONDITIONAL:INSERTION:50 EXPLICIT:ARGS (DUMMY:ARGUMENT:2 DUMMY:ARGUMENT:1) 
                                     EXPLICIT:ARGS:CHECK T 
                                     WHAT (VECTOR A SPECIALIZED BEING WHICH DOES
						  (TUPLE PERHAPS WE WILL STICK IN A CONDITIONAL INSERTION STATEMENT, 
							 STICKING IN AN (@ DUMMY:ARGUMENT:2)
							 -TYPE ELEMENT INTO ITS PARENT STRUCTURE)) 
                                     HOW (TUPLE WE WILL ASK THE USER, PROBABLY) 
                                     WHY (TUPLE BECAUSE IF AN INSERTION IS NOT TO BE MADE, THEN WE WANT TO WIPE OUT ALL 
						TRACES OF THIS STATEMENT; IF ONE IS TO BE MADE, WE WILL NEED THE USER 
						TO GUIDE US SINCE THE DETAILS HERE DEPEND CRITICALLY UPON THE DETAILS 
						HE HAS IN MIND FOR THE PROGRAM AND CONDITIONAL:INSERTION IS TOO GENERAL 
						TO USE AS IT IS) 
                                     META:CODE (PROGN (SETQ RESULT:4 (CAR (SETDIFFERENCE ELEMENT:OBJECTS:11 
										  POSSIBLE:NAME:OF:CLASS:OBJECTS:20)))
						      (COND ((NOT (EQUAL RESULT:4 NIL))
							     NIL
							     (PUT NAME:OF:CLASS CLASS:OBJECTS:33 (MERGE:IN
								    RESULT:4
								    (GETP NAME:OF:CLASS CLASS:OBJECTS:33)
								    BETTER:38)))
							    (T NIL))) 
                                     COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                                     GENERALIZATIONS (CONDITIONAL:INSERTION TUPLE MODIFY:STRUCTURE) 
                                     SPECIALIZATIONS NIL 
                                     BEING T 
                                     IDEN NIL 
                                     MAIN:EFFECTS NIL 
                                     AFFECTS (VECTOR (VECTOR ELEMENT:OBJECTS:11 POSSIBLE CALLED)
						     (VECTOR BETTER:38 POSSIBLE CALLED)))
  (PUTPROPS MODIFY:STRUCTURE:39 EXPLICIT:ARGS (ARG1 ARG2) 
                                EXPLICIT:ARGS:CHECK T 
                                WHAT (VECTOR A SPECIALIZED BEING WHICH DOES (TUPLE MODIFY THE STRUCTURE CONTAINING
										   (@ ARG1)
										   AS AN ELEMENT)) 
                                HOW (TUPLE BY SOME OF THESE: INSERTING, DELETING, ALTERING AN ELEMENT OR TWO) 
                                WHY (TUPLE BECAUSE THE GIST OF CONCEPT FORMATION IS MODIFYING THE STRUCTURE WHICH 
					   REPRESENTS A DESCRIPTION OF A CONCEPT AND MODIFY:STRUCTURE IS TOO GENERAL TO 
					   USE AS IT IS) 
                                META:CODE (PROGN (COMMENT IN ALL CALLS TO DATE, ARG1 IS INSTANTIATED AS 
							  POSSIBLE:NAME:OF:CLASS:OBJECTS:20)
						 (COMMENT IN ALL CALLS TO DATE, ARG2 IS INSTANTIATED AS NAME:OF:CLASS)
						 (PROGN (CONDITIONAL:INSERTION:50 ARG1 ARG2))) 
                                COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                                GENERALIZATIONS (MODIFY:STRUCTURE TUPLE MODIFY) 
                                SPECIALIZATIONS NIL 
                                ALTERNATIVES (TUPLE REPLACE:STRUCTURE DELETE:ENTIRE:STRUCTURE) 
                                BEING T 
                                IDEN NIL 
                                MAIN:EFFECTS NIL 
                                AFFECTS (VECTOR (VECTOR IN POSSIBLE CALLED)
						(VECTOR IN POSSIBLE CALLED)))
  (PUTPROPS COMPLEX:ALTERATION:46 EXPLICIT:ARGS (POSSIBLE:NAME:OF:CLASS) 
                                  EXPLICIT:ARGS:CHECK T 
                                  WHAT (VECTOR A SPECIALIZED BEING WHICH DOES (TUPLE ALTER (@ POSSIBLE:NAME:OF:CLASS)
										     AND/OR ANOTHER ELEMENT OF THE SAME 
										     OUTER LIST)) 
                                  HOW (TUPLE BY MODIFYING THE STRUCTURE OF SUCH AN ELEMENT) 
                                  WHY (TUPLE BECAUSE MODIFYING THE STRUCTURE OF AN INDIVIDUAL ELEMENT IS EQUIVALENT TO 
					     UPDATING OUR DESCRIPTION OF A SINGLE PARTICULAR CONCEPT, AND THIS IS 
					     FUNDAMENTAL TO A DECENT CONCEPT FORMATION PROGRAM AND COMPLEX:ALTERATION 
					     IS TOO GENERAL TO USE AS IT IS) 
                                  META:CODE (PROGN (MODIFY:STRUCTURE:47 YES:RELNS:28 POSSIBLE:NAME:OF:CLASS)
						   (MODIFY:STRUCTURE:48 NO:RELNS:29 POSSIBLE:NAME:OF:CLASS)
						   (MODIFY:STRUCTURE:49 MAYBE:RELNS:30 POSSIBLE:NAME:OF:CLASS)) 
                                  COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                                  SPECIALIZATIONS NIL 
                                  BEING T 
                                  IDEN NIL 
                                  MAIN:EFFECTS NIL 
                                  GENERALIZATIONS (COMPLEX:ALTERATION) 
                                  AFFECTS (VECTOR))
  (PUTPROPS COMPLEX:ALTERATION:45 EXPLICIT:ARGS (DUMMY:ARGUMENT:1) 
                                  EXPLICIT:ARGS:CHECK T 
                                  WHAT (VECTOR A SPECIALIZED BEING WHICH DOES (TUPLE ALTER (@ DUMMY:ARGUMENT:1)
										     AND/OR ANOTHER ELEMENT OF THE SAME 
										     OUTER LIST)) 
                                  HOW (TUPLE BY MODIFYING THE STRUCTURE OF SUCH AN ELEMENT) 
                                  WHY (TUPLE BECAUSE MODIFYING THE STRUCTURE OF AN INDIVIDUAL ELEMENT IS EQUIVALENT TO 
					     UPDATING OUR DESCRIPTION OF A SINGLE PARTICULAR CONCEPT, AND THIS IS 
					     FUNDAMENTAL TO A DECENT CONCEPT FORMATION PROGRAM AND COMPLEX:ALTERATION 
					     IS TOO GENERAL TO USE AS IT IS) 
                                  META:CODE (PROGN (MODIFY:STRUCTURE:39 POSSIBLE:NAME:OF:CLASS:OBJECTS:20 NAME:OF:CLASS)
						   (MODIFY:STRUCTURE:40 YES:RELNS:28 NAME:OF:CLASS)
						   (MODIFY:STRUCTURE:41 NO:RELNS:29 NAME:OF:CLASS)
						   (MODIFY:STRUCTURE:42 MAYBE:RELNS:30 NAME:OF:CLASS)
						   (COMPLEX:ALTERATION:46 POSSIBLE:NAME:OF:CLASS)) 
                                  COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                                  SPECIALIZATIONS NIL 
                                  BEING T 
                                  IDEN NIL 
                                  MAIN:EFFECTS NIL 
                                  GENERALIZATIONS (COMPLEX:ALTERATION) 
                                  AFFECTS (VECTOR))
  (PUTPROPS CONDITIONAL:INSERTION:44 EXPLICIT:ARGS (ARG1) 
                                     EXPLICIT:ARGS:CHECK T 
                                     WHAT (VECTOR A SPECIALIZED BEING WHICH DOES
						  (TUPLE PERHAPS WE WILL STICK IN A CONDITIONAL INSERTION STATEMENT, 
							 STICKING IN AN (@ ARG1)
							 -TYPE ELEMENT INTO ITS PARENT STRUCTURE)) 
                                     HOW (TUPLE WE WILL ASK THE USER, PROBABLY) 
                                     WHY (TUPLE BECAUSE IF AN INSERTION IS NOT TO BE MADE, THEN WE WANT TO WIPE OUT ALL 
						TRACES OF THIS STATEMENT; IF ONE IS TO BE MADE, WE WILL NEED THE USER 
						TO GUIDE US SINCE THE DETAILS HERE DEPEND CRITICALLY UPON THE DETAILS 
						HE HAS IN MIND FOR THE PROGRAM AND CONDITIONAL:INSERTION IS TOO GENERAL 
						TO USE AS IT IS) 
                                     META:CODE (PROGN (COMMENT IN ALL CALLS TO DATE, ARG1 IS INSTANTIATED AS 
							       NAME:OF:CLASS)
						      (PROGN (SETQ RESULT:3 ARG1)
							     (COND ((AND (NOT (MEMBER RESULT:3 
										     SET:OF:POSSIBLE:NAMES:OF:CLASS))
									 (NOT (EQUAL RESULT:3 NOTHING)))
								    NIL
								    (COND ((ATOM RESULT:3)
									   (SETQ SET:OF:POSSIBLE:NAMES:OF:CLASS
										 (MERGE:IN RESULT:3 
										     SET:OF:POSSIBLE:NAMES:OF:CLASS 
											   BETTER:38)))
									  (T (SETQ SET:OF:POSSIBLE:NAMES:OF:CLASS
										   (MERGE (COPY RESULT:3)
											  (COPY 
										     SET:OF:POSSIBLE:NAMES:OF:CLASS)
											  BETTER:38)))))
								   (T NIL)))) 
                                     COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                                     GENERALIZATIONS (CONDITIONAL:INSERTION TUPLE MODIFY:STRUCTURE) 
                                     SPECIALIZATIONS NIL 
                                     BEING T 
                                     IDEN NIL 
                                     MAIN:EFFECTS NIL 
                                     AFFECTS (VECTOR (VECTOR IN POSSIBLE CALLED)
						     (VECTOR BETTER:38 POSSIBLE CALLED)
						     (VECTOR BETTER:38 POSSIBLE CALLED)))
  (PUTPROPS MODIFY:STRUCTURE:9 EXPLICIT:ARGS (ARG1) 
                               EXPLICIT:ARGS:CHECK T 
                               WHAT (VECTOR A SPECIALIZED BEING WHICH DOES (TUPLE MODIFY THE STRUCTURE CONTAINING
										  (@ ARG1)
										  AS AN ELEMENT)) 
                               HOW (TUPLE BY SOME OF THESE: INSERTING, DELETING, ALTERING AN ELEMENT OR TWO) 
                               WHY (TUPLE BECAUSE THE GIST OF CONCEPT FORMATION IS MODIFYING THE STRUCTURE WHICH 
					  REPRESENTS A DESCRIPTION OF A CONCEPT AND MODIFY:STRUCTURE IS TOO GENERAL TO 
					  USE AS IT IS) 
                               META:CODE (PROGN (COMMENT IN ALL CALLS TO DATE, ARG1 IS INSTANTIATED AS NAME:OF:CLASS)
						(PROGN (CONDITIONAL:INSERTION:44 ARG1)
						       (COMPLEX:ALTERATION:45 ARG1))) 
                               COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                               GENERALIZATIONS (MODIFY:STRUCTURE TUPLE MODIFY) 
                               SPECIALIZATIONS NIL 
                               ALTERNATIVES (TUPLE REPLACE:STRUCTURE DELETE:ENTIRE:STRUCTURE) 
                               BEING T 
                               IDEN NIL 
                               MAIN:EFFECTS NIL 
                               AFFECTS (VECTOR (VECTOR IN POSSIBLE CALLED)))
  (PUTPROPS SIMPLE:COMPARE:FN:43 EXPLICIT:ARGS:CHECK T 
                                 WHAT (VECTOR A SPECIALIZED BEING WHICH DOES (TUPLE QUASI-COMPARISON WHICH ALWAYS 
										    RETURNS A CONSTANT VALUE)) 
                                 HOW (TUPLE GET THE VALUE ONCE, AND ALWAYS RETURN IT) 
                                 WHY (TUPLE BECAUSE ORDERING ISNT VERY IMPORTANT HERE AND SIMPLE:COMPARE:FN IS TOO 
					    GENERAL TO USE AS IT IS) 
                                 META:CODE (PROGN (COMMENT THIS ALLOWS MERGE TO BE THE SAME AS CONS)
						  NIL) 
                                 COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                                 GENERALIZATIONS (SIMPLE:COMPARE:FN TUPLE BETTER) 
                                 SPECIALIZATIONS NIL 
                                 PREDICATE T 
                                 BEING T 
                                 IDEN NIL 
                                 MAIN:EFFECTS NIL 
                                 EXPLICIT:ARGS NIL 
                                 AFFECTS (VECTOR))
  (PUTPROPS BETTER:38 IDEN (((AND (EQUAL (CAR LI)
					 BETTER:38)
				  (EQUAL (LENGTH LI)
					 3))
			     (VECTOR BETTER:38 (TRANSLATE (CADR LI)
							  T)
				     (TRANSLATE (CADDR LI)
						T)))) 
                      EXPLICIT:ARGS (B1 B2) 
                      EXPLICIT:ARGS:CHECK T 
                      WHAT (VECTOR A SPECIALIZED BEING WHICH DOES (TUPLE DECIDE WHICH OF (@ B1)
									 (@ B2)
									 IS MORE A PROPOS TO TRY)) 
                      HOW (TUPLE COMPARE THE WHEN PARTS OF (@ (CAR B1))
				 AND
				 (@ (CAR B2))
				 AND, IF NECESSARY, COMPARE THEIR COMPLEXITY VECTORS) 
                      WHY (TUPLE PUP CAN ONLY TRY AT MOST ONE OF (@ (CAR B1))
				 AND
				 (@ (CAR B2))
				 AT A TIME AND BETTER IS TOO GENERAL TO USE AS IT IS) 
                      SPEC:WHY (VECTOR WE MUST SELECT THE BEST BEING FROM (VECTOR OBTAIN:USABLE:INFORMATION 
										  USE:INFORMATION 
										  FILL:IN:UNDEFINED:SECTION 
										  CLARIFY:IMPROBABLE:SITUATION 
										  ADAPT:PRECONCEIVED:FUNCTION 
										  FIX:INCORRECT:PIECE)
				       THE WHEN PART OF THE USE:INFORMATION IS INFERIOR TO THE WHEN PART OF 
				       OBTAIN:USABLE:INFORMATION THE WHEN PART OF THE FILL:IN:UNDEFINED:SECTION IS 
				       SUPERIOR TO THE WHEN PART OF OBTAIN:USABLE:INFORMATION) 
                      META:CODE (SIMPLE:COMPARE:FN:43) 
                      COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                      SPECIALIZATIONS NIL 
                      PREDICATE T 
                      BEING T 
                      MAIN:EFFECTS NIL 
                      GENERALIZATIONS (BETTER) 
                      AFFECTS (VECTOR))
  (PUTPROPS COMPLEX:ALTERATION:32 EXPLICIT:ARGS (DUMMY:ARGUMENT:1) 
                                  EXPLICIT:ARGS:CHECK T 
                                  WHAT (VECTOR A SPECIALIZED BEING WHICH DOES (TUPLE ALTER (@ DUMMY:ARGUMENT:1)
										     AND/OR ANOTHER ELEMENT OF THE SAME 
										     OUTER LIST)) 
                                  HOW (TUPLE BY MODIFYING THE STRUCTURE OF SUCH AN ELEMENT) 
                                  WHY (TUPLE BECAUSE MODIFYING THE STRUCTURE OF AN INDIVIDUAL ELEMENT IS EQUIVALENT TO 
					     UPDATING OUR DESCRIPTION OF A SINGLE PARTICULAR CONCEPT, AND THIS IS 
					     FUNDAMENTAL TO A DECENT CONCEPT FORMATION PROGRAM AND COMPLEX:ALTERATION 
					     IS TOO GENERAL TO USE AS IT IS) 
                                  META:CODE (PROGN (MODIFY:STRUCTURE:39 POSSIBLE:NAME:OF:CLASS:OBJECTS:20 NAME:OF:CLASS)
						   (MODIFY:STRUCTURE:40 YES:RELNS:28 NAME:OF:CLASS)
						   (MODIFY:STRUCTURE:41 NO:RELNS:29 NAME:OF:CLASS)
						   (MODIFY:STRUCTURE:42 MAYBE:RELNS:30 NAME:OF:CLASS)) 
                                  COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                                  SPECIALIZATIONS NIL 
                                  BEING T 
                                  IDEN NIL 
                                  MAIN:EFFECTS NIL 
                                  GENERALIZATIONS (COMPLEX:ALTERATION) 
                                  AFFECTS (VECTOR))
  (PUTPROPS CONDITIONAL:INSERTION:31 EXPLICIT:ARGS (ARG1) 
                                     EXPLICIT:ARGS:CHECK T 
                                     WHAT (VECTOR A SPECIALIZED BEING WHICH DOES
						  (TUPLE PERHAPS WE WILL STICK IN A CONDITIONAL INSERTION STATEMENT, 
							 STICKING IN AN (@ ARG1)
							 -TYPE ELEMENT INTO ITS PARENT STRUCTURE)) 
                                     HOW (TUPLE WE WILL ASK THE USER, PROBABLY) 
                                     WHY (TUPLE BECAUSE IF AN INSERTION IS NOT TO BE MADE, THEN WE WANT TO WIPE OUT ALL 
						TRACES OF THIS STATEMENT; IF ONE IS TO BE MADE, WE WILL NEED THE USER 
						TO GUIDE US SINCE THE DETAILS HERE DEPEND CRITICALLY UPON THE DETAILS 
						HE HAS IN MIND FOR THE PROGRAM AND CONDITIONAL:INSERTION IS TOO GENERAL 
						TO USE AS IT IS) 
                                     META:CODE (PROGN (COMMENT IN ALL CALLS TO DATE, ARG1 IS INSTANTIATED AS NIL)
						      (PROGN (SETQ RESULT:2 ARG1)
							     (COND ((AND (NOT (MEMBER RESULT:2 
										     SET:OF:POSSIBLE:NAMES:OF:CLASS))
									 (NOT (EQUAL RESULT:2 NOTHING)))
								    (PROGN (PUT NAME:OF:CLASS CLASS:OBJECTS:33 
								 INITIAL:VALUE:OF:POSSIBLE:NAME:OF:CLASS:OBJECTS:20)
									   (COMMENT THIS INITIALIZES 
										  POSSIBLE:NAME:OF:CLASS:OBJECTS:20)
									   (PUT NAME:OF:CLASS CLASS:CLASSNAME:34 
							       INITIAL:VALUE:OF:POSSIBLE:NAME:OF:CLASS:CLASSNAME:21)
									   (COMMENT THIS INITIALIZES 
										POSSIBLE:NAME:OF:CLASS:CLASSNAME:21)
									   (PUT NAME:OF:CLASS CLASS:YES:RELNS:35 
										INITIAL:VALUE:OF:YES:RELNS:28)
									   (COMMENT THIS INITIALIZES YES:RELNS:28)
									   (PUT NAME:OF:CLASS CLASS:NO:RELNS:36 
										INITIAL:VALUE:OF:NO:RELNS:29)
									   (COMMENT THIS INITIALIZES NO:RELNS:29)
									   (PUT NAME:OF:CLASS CLASS:MAYBE:RELNS:37 
										INITIAL:VALUE:OF:MAYBE:RELNS:30)
									   (COMMENT THIS INITIALIZES MAYBE:RELNS:30))
								    (COND ((ATOM RESULT:2)
									   (SETQ SET:OF:POSSIBLE:NAMES:OF:CLASS
										 (MERGE:IN RESULT:2 
										     SET:OF:POSSIBLE:NAMES:OF:CLASS 
											   BETTER:38)))
									  (T (SETQ SET:OF:POSSIBLE:NAMES:OF:CLASS
										   (MERGE (COPY RESULT:2)
											  (COPY 
										     SET:OF:POSSIBLE:NAMES:OF:CLASS)
											  BETTER:38)))))
								   (T NIL)))) 
                                     COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                                     GENERALIZATIONS (CONDITIONAL:INSERTION TUPLE MODIFY:STRUCTURE) 
                                     SPECIALIZATIONS NIL 
                                     BEING T 
                                     IDEN NIL 
                                     MAIN:EFFECTS NIL 
                                     AFFECTS (VECTOR (VECTOR IN POSSIBLE CALLED)
						     (VECTOR BETTER:38 POSSIBLE CALLED)
						     (VECTOR BETTER:38 POSSIBLE CALLED)))
  (PUTPROPS NAME:OF:CLASS IDEN (((EQUAL (TUPLE NAME:OF:CLASS)
					LI)
				 (VECTOR NAME:OF:CLASS))) 
                          EXPLICIT:ARGS (ARG1) 
                          EXPLICIT:ARGS:CHECK T 
                          WHAT (VECTOR A SPECIALIZED BEING WHICH DOES
				       (VECTOR A SPECIALIZED BEING WHICH DOES
					       (VECTOR A SPECIALIZED BEING WHICH DOES
						       (TUPLE A STRUCTURE WHICH IS A MEMBER OF A LARGER STRUCTURE)))) 
                          WHY (AND ELEMENT IS TOO GENERAL TO USE AS IT IS AND ELEMENT:4 IS TOO GENERAL TO USE AS IT IS 
				   AND POSSIBLE:NAME:OF:CLASS IS TOO GENERAL TO USE AS IT IS) 
                          META:CODE (STRUCTURE (OBJECTS SET POSSIBLE:NAME:OF:CLASS:OBJECTS:20)
					       (CLASS:NAME NAME POSSIBLE:NAME:OF:CLASS:CLASSNAME:21)
					       (STATIC RELATIONS YES:RELNS:28 BETWEEN OBJECTS)
					       (STATIC RELATIONS NO:RELNS:29 BETWEEN OBJECTS)
					       (STATIC RELATIONS MAYBE:RELNS:30 BETWEEN OBJECTS)) 
                          AFFECTS (VECTOR) 
                          COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                          GENERALIZATIONS (POSSIBLE:NAME:OF:CLASS ELEMENT:4 ELEMENT) 
                          DATA:STRUCTURE (VECTOR INITIALIZE (VECTOR (VECTOR (VECTOR PUT NAME:OF:CLASS CLASS:OBJECTS:33 
								 INITIAL:VALUE:OF:POSSIBLE:NAME:OF:CLASS:OBJECTS:20)
									    INITIALIZES 
									    POSSIBLE:NAME:OF:CLASS:OBJECTS:20)
								    (VECTOR (VECTOR PUT NAME:OF:CLASS 
										    CLASS:CLASSNAME:34 
							       INITIAL:VALUE:OF:POSSIBLE:NAME:OF:CLASS:CLASSNAME:21)
									    INITIALIZES 
									    POSSIBLE:NAME:OF:CLASS:CLASSNAME:21)
								    (VECTOR (VECTOR PUT NAME:OF:CLASS 
										    CLASS:YES:RELNS:35 
										    INITIAL:VALUE:OF:YES:RELNS:28)
									    INITIALIZES YES:RELNS:28)
								    (VECTOR (VECTOR PUT NAME:OF:CLASS CLASS:NO:RELNS:36 
										    INITIAL:VALUE:OF:NO:RELNS:29)
									    INITIALIZES NO:RELNS:29)
								    (VECTOR (VECTOR PUT NAME:OF:CLASS 
										    CLASS:MAYBE:RELNS:37 
										    INITIAL:VALUE:OF:MAYBE:RELNS:30)
									    INITIALIZES MAYBE:RELNS:30))
						 ACCESS
						 (VECTOR (VECTOR (VECTOR GETP NAME:OF:CLASS CLASS:OBJECTS:33)
								 ACCESSES POSSIBLE:NAME:OF:CLASS:OBJECTS:20)
							 (VECTOR (VECTOR GETP NAME:OF:CLASS CLASS:CLASSNAME:34)
								 ACCESSES POSSIBLE:NAME:OF:CLASS:CLASSNAME:21)
							 (VECTOR (VECTOR GETP NAME:OF:CLASS CLASS:YES:RELNS:35)
								 ACCESSES YES:RELNS:28)
							 (VECTOR (VECTOR GETP NAME:OF:CLASS CLASS:NO:RELNS:36)
								 ACCESSES NO:RELNS:29)
							 (VECTOR (VECTOR GETP NAME:OF:CLASS CLASS:MAYBE:RELNS:37)
								 ACCESSES MAYBE:RELNS:30))
						 INSERT
						 (VECTOR (VECTOR (VECTOR LAMBDA (VECTOR X)
									 (VECTOR PUT NAME:OF:CLASS CLASS:OBJECTS:33
										 (VECTOR MERGE:IN X
											 (VECTOR GETP NAME:OF:CLASS 
												 CLASS:OBJECTS:33)
											 BETTER)))
								 INSERTS X INTO POSSIBLE:NAME:OF:CLASS:OBJECTS:20)
							 (VECTOR (VECTOR LAMBDA (VECTOR X)
									 (VECTOR PUT NAME:OF:CLASS CLASS:CLASSNAME:34
										 (VECTOR MERGE:IN X
											 (VECTOR GETP NAME:OF:CLASS 
												 CLASS:CLASSNAME:34)
											 BETTER)))
								 INSERTS X INTO POSSIBLE:NAME:OF:CLASS:CLASSNAME:21)
							 (VECTOR (VECTOR LAMBDA (VECTOR X)
									 (VECTOR PUT NAME:OF:CLASS CLASS:YES:RELNS:35
										 (VECTOR MERGE:IN X
											 (VECTOR GETP NAME:OF:CLASS 
												 CLASS:YES:RELNS:35)
											 BETTER)))
								 INSERTS X INTO YES:RELNS:28)
							 (VECTOR (VECTOR LAMBDA (VECTOR X)
									 (VECTOR PUT NAME:OF:CLASS CLASS:NO:RELNS:36
										 (VECTOR MERGE:IN X
											 (VECTOR GETP NAME:OF:CLASS 
												 CLASS:NO:RELNS:36)
											 BETTER)))
								 INSERTS X INTO NO:RELNS:29)
							 (VECTOR (VECTOR LAMBDA (VECTOR X)
									 (VECTOR PUT NAME:OF:CLASS CLASS:MAYBE:RELNS:37
										 (VECTOR MERGE:IN X
											 (VECTOR GETP NAME:OF:CLASS 
											       CLASS:MAYBE:RELNS:37)
											 BETTER)))
								 INSERTS X INTO MAYBE:RELNS:30))
						 DELETE
						 (VECTOR (VECTOR (VECTOR LAMBDA (VECTOR X)
									 (VECTOR PUT NAME:OF:CLASS CLASS:OBJECTS:33
										 (VECTOR PULLOUT X
											 (VECTOR GETP NAME:OF:CLASS 
												 CLASS:OBJECTS:33))))
								 DELETES X FROM POSSIBLE:NAME:OF:CLASS:OBJECTS:20)
							 (VECTOR (VECTOR LAMBDA (VECTOR X)
									 (VECTOR PUT NAME:OF:CLASS CLASS:CLASSNAME:34
										 (VECTOR PULLOUT X
											 (VECTOR GETP NAME:OF:CLASS 
												 CLASS:CLASSNAME:34))))
								 DELETES X FROM POSSIBLE:NAME:OF:CLASS:CLASSNAME:21)
							 (VECTOR (VECTOR LAMBDA (VECTOR X)
									 (VECTOR PUT NAME:OF:CLASS CLASS:YES:RELNS:35
										 (VECTOR PULLOUT X
											 (VECTOR GETP NAME:OF:CLASS 
												 CLASS:YES:RELNS:35))))
								 DELETES X FROM YES:RELNS:28)
							 (VECTOR (VECTOR LAMBDA (VECTOR X)
									 (VECTOR PUT NAME:OF:CLASS CLASS:NO:RELNS:36
										 (VECTOR PULLOUT X
											 (VECTOR GETP NAME:OF:CLASS 
												 CLASS:NO:RELNS:36))))
								 DELETES X FROM NO:RELNS:29)
							 (VECTOR (VECTOR LAMBDA (VECTOR X)
									 (VECTOR PUT NAME:OF:CLASS CLASS:MAYBE:RELNS:37
										 (VECTOR PULLOUT X
											 (VECTOR GETP NAME:OF:CLASS 
											       CLASS:MAYBE:RELNS:37))))
								 DELETES X FROM MAYBE:RELNS:30))) 
                          BEING T 
                          MAIN:EFFECTS NIL 
                          SPECIALIZATIONS NIL)
  (PUTPROPS SET:OF:POSSIBLE:NAMES:OF:CLASS EXPLICIT:ARGS:CHECK T 
                                           WHAT (VECTOR A SPECIALIZED BEING WHICH DOES (TUPLE A LIST STRUCTURE ENTITY)) 
                                           HOW (TUPLE A LIST OF ATOMS AND LIST STRUCTURES) 
                                           WHY (TUPLE ASSOCIATE THE PARTS OF THE LIST STRUCTURE AND LIST:STRUCTURE IS 
						      TOO GENERAL TO USE AS IT IS) 
                                           META:CODE (STRUCTURE (LIST ATOMS OF TYPE POSSIBLE:NAME:OF:CLASS)) 
                                           COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                                           GENERALIZATIONS (LIST:STRUCTURE TUPLE DATA:STRUCTURE) 
                                           DATA:STRUCTURE (VECTOR
							    INITIALIZE
							    (VECTOR SETQ SET:OF:POSSIBLE:NAMES:OF:CLASS INITIAL:VALUE)
							    ACCESS SET:OF:POSSIBLE:NAMES:OF:CLASS INSERT
							    (VECTOR (VECTOR LAMBDA (VECTOR X)
									    (VECTOR COND
										    (VECTOR (VECTOR ATOM X)
											    (VECTOR SETQ 
										     SET:OF:POSSIBLE:NAMES:OF:CLASS
												    (VECTOR MERGE:IN X 
										     SET:OF:POSSIBLE:NAMES:OF:CLASS 
													    BETTER)))
										    (VECTOR T
											    (VECTOR
											      SETQ 
										     SET:OF:POSSIBLE:NAMES:OF:CLASS
											      (VECTOR MERGE
												      (VECTOR COPY X)
												      (VECTOR COPY 
										     SET:OF:POSSIBLE:NAMES:OF:CLASS)
												      BETTER)))))
								    INSERTS X INTO SET:OF:POSSIBLE:NAMES:OF:CLASS)
							    DELETE
							    (VECTOR (VECTOR LAMBDA (VECTOR X)
									    (VECTOR COND
										    (VECTOR (VECTOR ATOM X)
											    (VECTOR SETQ 
										     SET:OF:POSSIBLE:NAMES:OF:CLASS
												    (VECTOR PULLOUT X 
										     SET:OF:POSSIBLE:NAMES:OF:CLASS)))
										    (VECTOR T
											    (VECTOR SETQ 
										     SET:OF:POSSIBLE:NAMES:OF:CLASS
												    (VECTOR 
												      SETDIFFERENCE 
										     SET:OF:POSSIBLE:NAMES:OF:CLASS X)))
										    ))
								    DELETES X FROM SET:OF:POSSIBLE:NAMES:OF:CLASS)) 
                                           BEING T 
                                           IDEN NIL 
                                           MAIN:EFFECTS NIL 
                                           EXPLICIT:ARGS (ARG1) 
                                           AFFECTS (VECTOR) 
                                           SPECIALIZATIONS NIL)
  (PUTPROPS MAYBE:RELNS:30 EXPLICIT:ARGS:CHECK T 
                           WHAT (VECTOR A SPECIALIZED BEING WHICH DOES (TUPLE A LIST STRUCTURE ENTITY)) 
                           HOW (TUPLE A LIST OF ATOMS AND LIST STRUCTURES) 
                           WHY (TUPLE ASSOCIATE THE PARTS OF THE LIST STRUCTURE AND LIST:STRUCTURE IS TOO GENERAL TO 
				      USE AS IT IS) 
                           META:CODE (STRUCTURE LIST ATOMS) 
                           COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                           GENERALIZATIONS (LIST:STRUCTURE TUPLE DATA:STRUCTURE) 
                           DATA:STRUCTURE (VECTOR INITIALIZE (PUT POSSIBLE:NAME:OF:CLASS CLASS:MAYBE:RELNS:37 
								  INITIAL:VALUE:OF:MAYBE:RELNS:30)
						  ACCESS
						  (GETP POSSIBLE:NAME:OF:CLASS CLASS:MAYBE:RELNS:37)
						  INSERT
						  ((LAMBDA (X)
							   (PUT POSSIBLE:NAME:OF:CLASS CLASS:MAYBE:RELNS:37
								(MERGE:IN X (GETP POSSIBLE:NAME:OF:CLASS 
										  CLASS:MAYBE:RELNS:37)
									  BETTER)))
						   INSERTS X INTO MAYBE:RELNS:30)
						  DELETE
						  ((LAMBDA (X)
							   (PUT POSSIBLE:NAME:OF:CLASS CLASS:MAYBE:RELNS:37
								(PULLOUT X (GETP POSSIBLE:NAME:OF:CLASS 
										 CLASS:MAYBE:RELNS:37))))
						   DELETES X FROM MAYBE:RELNS:30)
						  ALTERNATE NAME:OF:CLASS POSSIBLE:NAME:OF:CLASS) 
                           BEING T 
                           IDEN NIL 
                           MAIN:EFFECTS NIL 
                           EXPLICIT:ARGS (ARG1) 
                           AFFECTS (VECTOR) 
                           SPECIALIZATIONS NIL)
  (PUTPROPS NO:RELNS:29 EXPLICIT:ARGS:CHECK T 
                        WHAT (VECTOR A SPECIALIZED BEING WHICH DOES (TUPLE A LIST STRUCTURE ENTITY)) 
                        HOW (TUPLE A LIST OF ATOMS AND LIST STRUCTURES) 
                        WHY (TUPLE ASSOCIATE THE PARTS OF THE LIST STRUCTURE AND LIST:STRUCTURE IS TOO GENERAL TO USE 
				   AS IT IS) 
                        META:CODE (STRUCTURE LIST ATOMS) 
                        COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                        GENERALIZATIONS (LIST:STRUCTURE TUPLE DATA:STRUCTURE) 
                        DATA:STRUCTURE (VECTOR INITIALIZE (PUT POSSIBLE:NAME:OF:CLASS CLASS:NO:RELNS:36 
							       INITIAL:VALUE:OF:NO:RELNS:29)
					       ACCESS
					       (GETP POSSIBLE:NAME:OF:CLASS CLASS:NO:RELNS:36)
					       INSERT
					       ((LAMBDA (X)
							(PUT POSSIBLE:NAME:OF:CLASS CLASS:NO:RELNS:36
							     (MERGE:IN X (GETP POSSIBLE:NAME:OF:CLASS CLASS:NO:RELNS:36)
								       BETTER)))
						INSERTS X INTO NO:RELNS:29)
					       DELETE
					       ((LAMBDA (X)
							(PUT POSSIBLE:NAME:OF:CLASS CLASS:NO:RELNS:36
							     (PULLOUT X (GETP POSSIBLE:NAME:OF:CLASS CLASS:NO:RELNS:36))
							     ))
						DELETES X FROM NO:RELNS:29)
					       ALTERNATE NAME:OF:CLASS POSSIBLE:NAME:OF:CLASS) 
                        BEING T 
                        IDEN NIL 
                        MAIN:EFFECTS NIL 
                        EXPLICIT:ARGS (ARG1) 
                        AFFECTS (VECTOR) 
                        SPECIALIZATIONS NIL)
  (PUTPROPS YES:RELNS:28 EXPLICIT:ARGS:CHECK T 
                         WHAT (VECTOR A SPECIALIZED BEING WHICH DOES (TUPLE A LIST STRUCTURE ENTITY)) 
                         HOW (TUPLE A LIST OF ATOMS AND LIST STRUCTURES) 
                         WHY (TUPLE ASSOCIATE THE PARTS OF THE LIST STRUCTURE AND LIST:STRUCTURE IS TOO GENERAL TO USE 
				    AS IT IS) 
                         META:CODE (STRUCTURE LIST ATOMS) 
                         COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                         GENERALIZATIONS (LIST:STRUCTURE TUPLE DATA:STRUCTURE) 
                         DATA:STRUCTURE (VECTOR INITIALIZE (PUT POSSIBLE:NAME:OF:CLASS CLASS:YES:RELNS:35 
								INITIAL:VALUE:OF:YES:RELNS:28)
						ACCESS
						(GETP POSSIBLE:NAME:OF:CLASS CLASS:YES:RELNS:35)
						INSERT
						((LAMBDA (X)
							 (PUT POSSIBLE:NAME:OF:CLASS CLASS:YES:RELNS:35
							      (MERGE:IN X (GETP POSSIBLE:NAME:OF:CLASS 
										CLASS:YES:RELNS:35)
									BETTER)))
						 INSERTS X INTO YES:RELNS:28)
						DELETE
						((LAMBDA (X)
							 (PUT POSSIBLE:NAME:OF:CLASS CLASS:YES:RELNS:35
							      (PULLOUT X (GETP POSSIBLE:NAME:OF:CLASS 
									       CLASS:YES:RELNS:35))))
						 DELETES X FROM YES:RELNS:28)
						ALTERNATE NAME:OF:CLASS POSSIBLE:NAME:OF:CLASS) 
                         BEING T 
                         IDEN NIL 
                         MAIN:EFFECTS NIL 
                         EXPLICIT:ARGS (ARG1) 
                         AFFECTS (VECTOR) 
                         SPECIALIZATIONS NIL)
  (PUTPROPS POSSIBLE:NAME:OF:CLASS:CLASSNAME:21 EXPLICIT:ARGS:CHECK T 
                                                WHAT (VECTOR A SPECIALIZED BEING WHICH DOES (TUPLE A LIST STRUCTURE 
												   ENTITY)) 
                                                HOW (TUPLE A LIST OF ATOMS AND LIST STRUCTURES) 
                                                WHY (TUPLE ASSOCIATE THE PARTS OF THE LIST STRUCTURE AND LIST:STRUCTURE 
							   IS TOO GENERAL TO USE AS IT IS) 
                                                META:CODE (STRUCTURE LIST ATOMS) 
                                                COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                                                GENERALIZATIONS (LIST:STRUCTURE TUPLE DATA:STRUCTURE) 
                                                DATA:STRUCTURE (VECTOR INITIALIZE (PUT POSSIBLE:NAME:OF:CLASS 
										       CLASS:CLASSNAME:34 
							       INITIAL:VALUE:OF:POSSIBLE:NAME:OF:CLASS:CLASSNAME:21)
								       ACCESS
								       (GETP POSSIBLE:NAME:OF:CLASS CLASS:CLASSNAME:34)
								       INSERT
								       ((LAMBDA (X)
										(PUT POSSIBLE:NAME:OF:CLASS 
										     CLASS:CLASSNAME:34
										     (MERGE:IN X (GETP 
											     POSSIBLE:NAME:OF:CLASS 
												 CLASS:CLASSNAME:34)
											       BETTER)))
									INSERTS X INTO 
									POSSIBLE:NAME:OF:CLASS:CLASSNAME:21)
								       DELETE
								       ((LAMBDA (X)
										(PUT POSSIBLE:NAME:OF:CLASS 
										     CLASS:CLASSNAME:34
										     (PULLOUT X (GETP 
											     POSSIBLE:NAME:OF:CLASS 
												 CLASS:CLASSNAME:34))))
									DELETES X FROM 
									POSSIBLE:NAME:OF:CLASS:CLASSNAME:21)
								       ALTERNATE NAME:OF:CLASS POSSIBLE:NAME:OF:CLASS) 
                                                BEING T 
                                                IDEN NIL 
                                                MAIN:EFFECTS NIL 
                                                EXPLICIT:ARGS (ARG1) 
                                                AFFECTS (VECTOR) 
                                                SPECIALIZATIONS NIL)
  (PUTPROPS POSSIBLE:NAME:OF:CLASS:OBJECTS:20 EXPLICIT:ARGS:CHECK T 
                                              WHAT (VECTOR A SPECIALIZED BEING WHICH DOES (TUPLE A LIST STRUCTURE 
												 ENTITY)) 
                                              HOW (TUPLE A LIST OF ATOMS AND LIST STRUCTURES) 
                                              WHY (TUPLE ASSOCIATE THE PARTS OF THE LIST STRUCTURE AND LIST:STRUCTURE 
							 IS TOO GENERAL TO USE AS IT IS) 
                                              META:CODE (STRUCTURE LIST ATOMS) 
                                              COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                                              GENERALIZATIONS (LIST:STRUCTURE TUPLE DATA:STRUCTURE) 
                                              DATA:STRUCTURE (VECTOR INITIALIZE (PUT POSSIBLE:NAME:OF:CLASS 
										     CLASS:OBJECTS:33 
								 INITIAL:VALUE:OF:POSSIBLE:NAME:OF:CLASS:OBJECTS:20)
								     ACCESS
								     (GETP POSSIBLE:NAME:OF:CLASS CLASS:OBJECTS:33)
								     INSERT
								     ((LAMBDA (X)
									      (PUT POSSIBLE:NAME:OF:CLASS 
										   CLASS:OBJECTS:33
										   (MERGE:IN X (GETP 
											     POSSIBLE:NAME:OF:CLASS 
												   CLASS:OBJECTS:33)
											     BETTER)))
								      INSERTS X INTO POSSIBLE:NAME:OF:CLASS:OBJECTS:20)
								     DELETE
								     ((LAMBDA (X)
									      (PUT POSSIBLE:NAME:OF:CLASS 
										   CLASS:OBJECTS:33
										   (PULLOUT X (GETP 
											     POSSIBLE:NAME:OF:CLASS 
												   CLASS:OBJECTS:33))))
								      DELETES X FROM POSSIBLE:NAME:OF:CLASS:OBJECTS:20)
								     ALTERNATE NAME:OF:CLASS POSSIBLE:NAME:OF:CLASS) 
                                              BEING T 
                                              IDEN NIL 
                                              MAIN:EFFECTS NIL 
                                              EXPLICIT:ARGS (ARG1) 
                                              AFFECTS (VECTOR) 
                                              SPECIALIZATIONS NIL)
  (PUTPROPS MODIFY:STRUCTURE:7 EXPLICIT:ARGS (ARG1) 
                               EXPLICIT:ARGS:CHECK T 
                               WHAT (VECTOR A SPECIALIZED BEING WHICH DOES (TUPLE MODIFY THE STRUCTURE CONTAINING
										  (@ ARG1)
										  AS AN ELEMENT)) 
                               HOW (TUPLE BY SOME OF THESE: INSERTING, DELETING, ALTERING AN ELEMENT OR TWO) 
                               WHY (TUPLE BECAUSE THE GIST OF CONCEPT FORMATION IS MODIFYING THE STRUCTURE WHICH 
					  REPRESENTS A DESCRIPTION OF A CONCEPT AND MODIFY:STRUCTURE IS TOO GENERAL TO 
					  USE AS IT IS) 
                               META:CODE (PROGN (COMMENT IN ALL CALLS TO DATE, ARG1 IS INSTANTIATED AS NAME:OF:CLASS)
						(PROGN (CONDITIONAL:INSERTION:31 ARG1)
						       (COMPLEX:ALTERATION:32 ARG1))) 
                               COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                               GENERALIZATIONS (MODIFY:STRUCTURE TUPLE MODIFY) 
                               SPECIALIZATIONS NIL 
                               ALTERNATIVES (TUPLE REPLACE:STRUCTURE DELETE:ENTIRE:STRUCTURE) 
                               BEING T 
                               IDEN NIL 
                               MAIN:EFFECTS NIL 
                               AFFECTS (VECTOR (VECTOR IN POSSIBLE CALLED)))
  (PUTPROPS CONTRADICTS:27 IDEN (((@ (MATCH (TUPLE ANY ANY1 IN ANY2 IS FRAG1)
					    LI))
				  (VECTOR DO UNTIL (VECTOR FORSOME (@ ANY1)
							   IN
							   (@ ANY2)
							   (TRANSLATE (APPEND (LIST VECTOR ANY1 IS)
									      FRAG1)
								      T))))
				 ((@ (MATCH (TUPLE ANY1 IS INCOMPATIBLE WITH ANY2)
					    LI))
				  (VECTOR CONTRADICTS:27 (@ ANY1)
					  (@ ANY2)))) 
                           EXPLICIT:ARGS (ARG1 ARG2) 
                           EXPLICIT:ARGS:CHECK T 
                           WHAT (VECTOR A SPECIALIZED BEING WHICH DOES (TUPLE SEE IF (@ ARG1)
									      IS IN CONTRADICTION TO THE COLLECTION
									      (@ ARG2))) 
                           HOW (TUPLE SEE HOW A (@ ARG1)
				      TYPE OF ARG1 CAN BE CONTRADICTORY, THEN EXAMINE THE RELATIONSHIP BETWEEN
				      (@ ARG1)
				      AND
				      (@ ARG2)) 
                           META:CODE (PROGN (COMMENT IN ALL CALLS TO DATE, ARG1 IS INSTANTIATED AS RELATION)
					    (COMMENT IN ALL CALLS TO DATE, ARG2 IS INSTANTIATED AS ELEMENT:RELNS:15)
					    (PROGN NIL
						   (COND ((MEMBER ARG1 YES:RELNS:28)
							  (PROGN (COMMENT ARG1 OCCURS WITH PROBABILITY 1, SO IT HAD 
									  BETTER BE IN ARG2, THE RELEVANT PIECE OF THE 
									  WORLD)
								 (NOT (MEMBER ARG1 ARG2))))
							 ((MEMBER ARG1 NO:RELNS:29)
							  (PROGN (COMMENT SINCE ARG1 SHOULD NEVER OCCUR, WE HAVE A 
									  CONTRADICTION IF IT IS A MEMBER OF ARG2)
								 (MEMBER ARG1 ARG2)))
							 (T (PROGN (COMMENT WE MAY OR MAY NOT HAVE ARG1 IN ARG2; EITHER 
									    CASE IS ALLOWABLE; SO WE NEVER HAVE A 
									    CONTRADICTION)
								   NIL))))) 
                           COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                           SPECIALIZATIONS NIL 
                           PREDICATE T 
                           BEING T 
                           MAIN:EFFECTS NIL 
                           WHY (AND RECOGNIZE:# IS TOO GENERAL TO USE AS IT IS) 
                           GENERALIZATIONS (RECOGNIZE:#) 
                           AFFECTS (VECTOR (VECTOR IN POSSIBLE CALLED)
					   (VECTOR IN POSSIBLE CALLED)
					   (VECTOR ELEMENT:RELNS:15 POSSIBLE CALLED)
					   (VECTOR BETTER POSSIBLE CALLED)
					   (VECTOR IN POSSIBLE CALLED)
					   (VECTOR IN POSSIBLE CALLED)))
  (PUTPROPS POSSIBLE:NAME:OF:CLASS:RELNS:22 EXPLICIT:ARGS:CHECK T 
                                            WHAT (VECTOR A SPECIALIZED BEING WHICH DOES (TUPLE A LIST STRUCTURE ENTITY))
                                            HOW (TUPLE A LIST OF ATOMS AND LIST STRUCTURES) 
                                            WHY (TUPLE ASSOCIATE THE PARTS OF THE LIST STRUCTURE AND LIST:STRUCTURE IS 
						       TOO GENERAL TO USE AS IT IS) 
                                            META:CODE (STRUCTURE (YES:RELNS:28 SET OF RELATIONS)
								 (NO:RELNS:29 SET OF RELATIONS)
								 (MAYBE:RELNS:30 SET OF RELATIONS)) 
                                            COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                                            GENERALIZATIONS (LIST:STRUCTURE TUPLE DATA:STRUCTURE) 
                                            DATA:STRUCTURE T 
                                            BEING T 
                                            IDEN NIL 
                                            MAIN:EFFECTS NIL 
                                            EXPLICIT:ARGS (ARG1) 
                                            AFFECTS (VECTOR) 
                                            SPECIALIZATIONS NIL)
  (PUTPROPS COMPARE:26 EXPLICIT:ARGS ((APPEND YES:RELNS:28 NO:RELNS:29 MAYBE:RELNS:30)
				      ELEMENT:RELNS:15) 
                       EXPLICIT:ARGS:CHECK T 
                       WHAT (VECTOR A SPECIALIZED BEING WHICH DOES (TUPLE COMPARE (@ (APPEND YES:RELNS:28 NO:RELNS:29 
											     MAYBE:RELNS:30))
									  WITH
									  (@ ELEMENT:RELNS:15))) 
                       HOW (TUPLE BY APPLYING A FUNCTION (TUPLE PROBABLY ALREADY KNOWN)
				  TO EITHER THESE TWO OBJECTS, OR ELSE TO THEIR CORRESPONDING PARTS.) 
                       WHY (TUPLE PUP WANTS TO SEE IF (@ (APPEND YES:RELNS:28 NO:RELNS:29 MAYBE:RELNS:30))
				  IS CLOSE ENOUGH TO (@ ELEMENT:RELNS:15)
				  AND COMPARE IS TOO GENERAL TO USE AS IT IS) 
                       META:CODE (PROGN (COMMENT HERE WE MAY LATER WANT TO PUT SOME ASSIGNMENTS, REWRITES, AND 
						 ITERATIVE STATEMENTS)
					(COND ((NOT (FORSOME RELATION IN (APPEND YES:RELNS:28 NO:RELNS:29 
										 MAYBE:RELNS:30)
							     (CONTRADICTS:27 RELATION ELEMENT:RELNS:15)))
					       T)
					      (T NIL))) 
                       COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                       GENERALIZATIONS (COMPARE TUPLE TEST) 
                       SPECIALIZATIONS NIL 
                       PREDICATE T 
                       BEING T 
                       IDEN NIL 
                       MAIN:EFFECTS NIL 
                       AFFECTS (VECTOR (VECTOR IN POSSIBLE CALLED)
				       (VECTOR ELEMENT:RELNS:15 POSSIBLE CALLED)))
  (PUTPROPS COMPARE:25 EXPLICIT:ARGS (ARG1 ARG2) 
                       EXPLICIT:ARGS:CHECK T 
                       WHAT (VECTOR A SPECIALIZED BEING WHICH DOES (TUPLE COMPARE (@ ARG1)
									  WITH
									  (@ ARG2))) 
                       HOW (TUPLE BY APPLYING A FUNCTION (TUPLE PROBABLY ALREADY KNOWN)
				  TO EITHER THESE TWO OBJECTS, OR ELSE TO THEIR CORRESPONDING PARTS.) 
                       WHY (TUPLE PUP WANTS TO SEE IF (@ ARG1)
				  IS CLOSE ENOUGH TO (@ ARG2)
				  AND COMPARE IS TOO GENERAL TO USE AS IT IS) 
                       META:CODE (PROGN (COMMENT IN ALL CALLS TO DATE, ARG1 IS INSTANTIATED AS 
						 POSSIBLE:NAME:OF:CLASS:CLASSNAME:21)
					(COMMENT IN ALL CALLS TO DATE, ARG2 IS INSTANTIATED AS ELEMENT:CLASSNAME:13)
					(PROGN ARG1 ARG2
					       (COMMENT THE PRESENCE OF ARG1 AND ARG2 ABOVE DOES NO HARM; IT IS 
							NECESSARY SOMEWHERE IN THE FUNCTION SO THAT PUP WILL INSERT 
							COMMENTS ABOUT WHAT ARG1 AND ARG2 GET INSTANTIATED AS.)
					       (COMMENT SINCE THIS COMPARISON PREDICATE MUST ALWAYS RETURN THE CONSTANT 
							VALUE T ,ALL THAT COMPARE:25 CAN POSSIBLY BE IS A SEQUENCE OF 
							ASSIGNMENTS, REWRITES, AND ITERATIVE STATEMENTS, ENDING WITH T)
					       T)) 
                       COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                       GENERALIZATIONS (COMPARE TUPLE TEST) 
                       SPECIALIZATIONS NIL 
                       PREDICATE T 
                       BEING T 
                       IDEN NIL 
                       MAIN:EFFECTS NIL 
                       AFFECTS (VECTOR (VECTOR IN POSSIBLE CALLED)
				       (VECTOR IN POSSIBLE CALLED)
				       (VECTOR ELEMENT:CLASSNAME:13 POSSIBLE CALLED)
				       (VECTOR IN POSSIBLE CALLED)
				       (VECTOR COMPARE:25 POSSIBLE CALLED)))
  (PUTPROPS COMPARE:24 EXPLICIT:ARGS (ARG1 ARG2) 
                       EXPLICIT:ARGS:CHECK T 
                       WHAT (VECTOR A SPECIALIZED BEING WHICH DOES (TUPLE COMPARE (@ ARG1)
									  WITH
									  (@ ARG2))) 
                       HOW (TUPLE BY APPLYING A FUNCTION (TUPLE PROBABLY ALREADY KNOWN)
				  TO EITHER THESE TWO OBJECTS, OR ELSE TO THEIR CORRESPONDING PARTS.) 
                       WHY (TUPLE PUP WANTS TO SEE IF (@ ARG1)
				  IS CLOSE ENOUGH TO (@ ARG2)
				  AND COMPARE IS TOO GENERAL TO USE AS IT IS) 
                       META:CODE (PROGN (COMMENT IN ALL CALLS TO DATE, ARG1 IS INSTANTIATED AS 
						 POSSIBLE:NAME:OF:CLASS:OBJECTS:20)
					(COMMENT IN ALL CALLS TO DATE, ARG2 IS INSTANTIATED AS ELEMENT:OBJECTS:11)
					(PROGN ARG1 ARG2
					       (COMMENT THE PRESENCE OF ARG1 AND ARG2 ABOVE DOES NO HARM; IT IS 
							NECESSARY SOMEWHERE IN THE FUNCTION SO THAT PUP WILL INSERT 
							COMMENTS ABOUT WHAT ARG1 AND ARG2 GET INSTANTIATED AS.)
					       (COMMENT SINCE THIS COMPARISON PREDICATE MUST ALWAYS RETURN THE CONSTANT 
							VALUE T ,ALL THAT COMPARE:24 CAN POSSIBLY BE IS A SEQUENCE OF 
							ASSIGNMENTS, REWRITES, AND ITERATIVE STATEMENTS, ENDING WITH T)
					       T)) 
                       COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                       GENERALIZATIONS (COMPARE TUPLE TEST) 
                       SPECIALIZATIONS NIL 
                       PREDICATE T 
                       BEING T 
                       IDEN NIL 
                       MAIN:EFFECTS NIL 
                       AFFECTS (VECTOR (VECTOR IN POSSIBLE CALLED)
				       (VECTOR IN POSSIBLE CALLED)
				       (VECTOR ELEMENT:OBJECTS:11 POSSIBLE CALLED)
				       (VECTOR IN POSSIBLE CALLED)
				       (VECTOR COMPARE:24 POSSIBLE CALLED)))
  (PUTPROPS JOIN:23 EXPLICIT:ARGS (ARG1 ARG2 ARG3) 
                    EXPLICIT:ARGS:CHECK T 
                    WHAT (VECTOR A SPECIALIZED BEING WHICH DOES (TUPLE JOIN TOGETHER THE SET (@ ALIST)
								       OF RESULTS)) 
                    HOW (TUPLE USE A JOINING TYPE OF SIMPLE FUNCTION) 
                    WHY (TUPLE WE HAVE SEVERAL TEMPORARY RESULTS, AND WE MUST COMBINE THEM TO PRODUCE A SINGLE RESULT 
			       AND JOINING:FUNCTION IS TOO GENERAL TO USE AS IT IS) 
                    META:CODE (PROGN (COMMENT IN ALL CALLS TO DATE, ARG1 IS INSTANTIATED AS (COMPARE:24 
										  POSSIBLE:NAME:OF:CLASS:OBJECTS:20 
												 ELEMENT:OBJECTS:11))
				     (COMMENT IN ALL CALLS TO DATE, ARG2 IS INSTANTIATED AS (COMPARE:25 
										POSSIBLE:NAME:OF:CLASS:CLASSNAME:21 
											       ELEMENT:CLASSNAME:13))
				     (COMMENT IN ALL CALLS TO DATE, ARG3 IS INSTANTIATED AS
					      (COMPARE:26 (APPEND YES:RELNS:28 NO:RELNS:29 MAYBE:RELNS:30)
							  ELEMENT:RELNS:15))
				     (AND ARG1 ARG2 ARG3)) 
                    COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                    GENERALIZATIONS (JOINING:FUNCTION TUPLE RELATING:FUNCTION FUNCTION) 
                    SPECIALIZATIONS NIL 
                    ALTERNATIVES (TUPLE SELECTING:FUNCTION ELIMINATING:FUNCTION) 
                    PREDICATE T 
                    BEING T 
                    IDEN NIL 
                    MAIN:EFFECTS NIL 
                    AFFECTS (VECTOR (VECTOR IN POSSIBLE CALLED)
				    (VECTOR COMPARE:24 POSSIBLE CALLED)
				    (VECTOR ELEMENT:OBJECTS:11 POSSIBLE CALLED)
				    (VECTOR IN POSSIBLE CALLED)
				    (VECTOR COMPARE:25 POSSIBLE CALLED)
				    (VECTOR ELEMENT:CLASSNAME:13 POSSIBLE CALLED)
				    (VECTOR IN POSSIBLE CALLED)
				    (VECTOR COMPARE:26 POSSIBLE CALLED)
				    (VECTOR ELEMENT:RELNS:15 POSSIBLE CALLED)))
  (PUTPROPS COMPARE:19 EXPLICIT:ARGS (ARG1 ARG2) 
                       EXPLICIT:ARGS:CHECK T 
                       WHAT (VECTOR A SPECIALIZED BEING WHICH DOES (TUPLE COMPARE (@ ARG1)
									  WITH
									  (@ ARG2))) 
                       HOW (TUPLE BY APPLYING A FUNCTION (TUPLE PROBABLY ALREADY KNOWN)
				  TO EITHER THESE TWO OBJECTS, OR ELSE TO THEIR CORRESPONDING PARTS.) 
                       WHY (TUPLE PUP WANTS TO SEE IF (@ ARG1)
				  IS CLOSE ENOUGH TO (@ ARG2)
				  AND COMPARE IS TOO GENERAL TO USE AS IT IS) 
                       META:CODE (PROGN (COMMENT IN ALL CALLS TO DATE, ARG1 IS INSTANTIATED AS POSSIBLE:NAME:OF:CLASS)
					(COMMENT IN ALL CALLS TO DATE, ARG2 IS INSTANTIATED AS ELEMENT:4)
					(PROGN ARG1 ARG2
					       (COMMENT ARG1 AND ARG2 ARE HERE SIMPLY TO CAUSE PUP TO STICK IN COMMENTS 
							ABOUT THEIR INSTANTIATION)
					       (JOIN:23 (COMPARE:24 POSSIBLE:NAME:OF:CLASS:OBJECTS:20 
								    ELEMENT:OBJECTS:11)
							(COMPARE:25 POSSIBLE:NAME:OF:CLASS:CLASSNAME:21 
								    ELEMENT:CLASSNAME:13)
							(COMPARE:26 (APPEND YES:RELNS:28 NO:RELNS:29 MAYBE:RELNS:30)
								    ELEMENT:RELNS:15)))) 
                       COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                       GENERALIZATIONS (COMPARE TUPLE TEST) 
                       SPECIALIZATIONS NIL 
                       PREDICATE T 
                       BEING T 
                       IDEN NIL 
                       MAIN:EFFECTS NIL 
                       AFFECTS (VECTOR (VECTOR IN POSSIBLE CALLED)
				       (VECTOR IN POSSIBLE CALLED)
				       (VECTOR ELEMENT:4 POSSIBLE CALLED)
				       (VECTOR IN POSSIBLE CALLED)
				       (VECTOR COMPARE:24 POSSIBLE CALLED)
				       (VECTOR ELEMENT:OBJECTS:11 POSSIBLE CALLED)
				       (VECTOR COMPARE:25 POSSIBLE CALLED)
				       (VECTOR ELEMENT:CLASSNAME:13 POSSIBLE CALLED)
				       (VECTOR COMPARE:26 POSSIBLE CALLED)
				       (VECTOR ELEMENT:RELNS:15 POSSIBLE CALLED)))
  (PUTPROPS POSSIBLE:NAME:OF:CLASS IDEN (((EQUAL (TUPLE POSSIBLE:NAME:OF:CLASS)
						 LI)
					  (VECTOR POSSIBLE:NAME:OF:CLASS))) 
                                   EXPLICIT:ARGS (ARG1) 
                                   EXPLICIT:ARGS:CHECK T 
                                   WHAT (VECTOR A SPECIALIZED BEING WHICH DOES
						(VECTOR A SPECIALIZED BEING WHICH DOES
							(TUPLE A STRUCTURE WHICH IS A MEMBER OF A LARGER STRUCTURE))) 
                                   WHY (AND ELEMENT IS TOO GENERAL TO USE AS IT IS AND ELEMENT:4 IS TOO GENERAL TO USE 
					    AS IT IS) 
                                   META:CODE (STRUCTURE (OBJECTS SET POSSIBLE:NAME:OF:CLASS:OBJECTS:20)
							(CLASS:NAME NAME POSSIBLE:NAME:OF:CLASS:CLASSNAME:21)
							(STATIC RELATIONS YES:RELNS:28 BETWEEN OBJECTS)
							(STATIC RELATIONS NO:RELNS:29 BETWEEN OBJECTS)
							(STATIC RELATIONS MAYBE:RELNS:30 BETWEEN OBJECTS)) 
                                   AFFECTS (VECTOR) 
                                   COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                                   GENERALIZATIONS (ELEMENT:4 ELEMENT) 
                                   DATA:STRUCTURE (VECTOR INITIALIZE (VECTOR (VECTOR (VECTOR PUT POSSIBLE:NAME:OF:CLASS 
											     CLASS:OBJECTS:33 
								 INITIAL:VALUE:OF:POSSIBLE:NAME:OF:CLASS:OBJECTS:20)
										     INITIALIZES 
										  POSSIBLE:NAME:OF:CLASS:OBJECTS:20)
									     (VECTOR (VECTOR PUT POSSIBLE:NAME:OF:CLASS 
											     CLASS:CLASSNAME:34 
							       INITIAL:VALUE:OF:POSSIBLE:NAME:OF:CLASS:CLASSNAME:21)
										     INITIALIZES 
										POSSIBLE:NAME:OF:CLASS:CLASSNAME:21)
									     (VECTOR (VECTOR PUT POSSIBLE:NAME:OF:CLASS 
											     CLASS:YES:RELNS:35 
										      INITIAL:VALUE:OF:YES:RELNS:28)
										     INITIALIZES YES:RELNS:28)
									     (VECTOR (VECTOR PUT POSSIBLE:NAME:OF:CLASS 
											     CLASS:NO:RELNS:36 
										       INITIAL:VALUE:OF:NO:RELNS:29)
										     INITIALIZES NO:RELNS:29)
									     (VECTOR (VECTOR PUT POSSIBLE:NAME:OF:CLASS 
											     CLASS:MAYBE:RELNS:37 
										    INITIAL:VALUE:OF:MAYBE:RELNS:30)
										     INITIALIZES MAYBE:RELNS:30))
							  ACCESS
							  (VECTOR (VECTOR (VECTOR GETP POSSIBLE:NAME:OF:CLASS 
										  CLASS:OBJECTS:33)
									  ACCESSES POSSIBLE:NAME:OF:CLASS:OBJECTS:20)
								  (VECTOR (VECTOR GETP POSSIBLE:NAME:OF:CLASS 
										  CLASS:CLASSNAME:34)
									  ACCESSES POSSIBLE:NAME:OF:CLASS:CLASSNAME:21)
								  (VECTOR (VECTOR GETP POSSIBLE:NAME:OF:CLASS 
										  CLASS:YES:RELNS:35)
									  ACCESSES YES:RELNS:28)
								  (VECTOR (VECTOR GETP POSSIBLE:NAME:OF:CLASS 
										  CLASS:NO:RELNS:36)
									  ACCESSES NO:RELNS:29)
								  (VECTOR (VECTOR GETP POSSIBLE:NAME:OF:CLASS 
										  CLASS:MAYBE:RELNS:37)
									  ACCESSES MAYBE:RELNS:30))
							  INSERT
							  (VECTOR (VECTOR (VECTOR LAMBDA (VECTOR X)
										  (VECTOR PUT POSSIBLE:NAME:OF:CLASS 
											  CLASS:OBJECTS:33
											  (VECTOR MERGE:IN X
												  (VECTOR GETP 
											     POSSIBLE:NAME:OF:CLASS 
												   CLASS:OBJECTS:33)
												  BETTER)))
									  INSERTS X INTO 
									  POSSIBLE:NAME:OF:CLASS:OBJECTS:20)
								  (VECTOR (VECTOR LAMBDA (VECTOR X)
										  (VECTOR PUT POSSIBLE:NAME:OF:CLASS 
											  CLASS:CLASSNAME:34
											  (VECTOR MERGE:IN X
												  (VECTOR GETP 
											     POSSIBLE:NAME:OF:CLASS 
												 CLASS:CLASSNAME:34)
												  BETTER)))
									  INSERTS X INTO 
									  POSSIBLE:NAME:OF:CLASS:CLASSNAME:21)
								  (VECTOR (VECTOR LAMBDA (VECTOR X)
										  (VECTOR PUT POSSIBLE:NAME:OF:CLASS 
											  CLASS:YES:RELNS:35
											  (VECTOR MERGE:IN X
												  (VECTOR GETP 
											     POSSIBLE:NAME:OF:CLASS 
												 CLASS:YES:RELNS:35)
												  BETTER)))
									  INSERTS X INTO YES:RELNS:28)
								  (VECTOR (VECTOR LAMBDA (VECTOR X)
										  (VECTOR PUT POSSIBLE:NAME:OF:CLASS 
											  CLASS:NO:RELNS:36
											  (VECTOR MERGE:IN X
												  (VECTOR GETP 
											     POSSIBLE:NAME:OF:CLASS 
												  CLASS:NO:RELNS:36)
												  BETTER)))
									  INSERTS X INTO NO:RELNS:29)
								  (VECTOR (VECTOR LAMBDA (VECTOR X)
										  (VECTOR PUT POSSIBLE:NAME:OF:CLASS 
											  CLASS:MAYBE:RELNS:37
											  (VECTOR MERGE:IN X
												  (VECTOR GETP 
											     POSSIBLE:NAME:OF:CLASS 
											       CLASS:MAYBE:RELNS:37)
												  BETTER)))
									  INSERTS X INTO MAYBE:RELNS:30))
							  DELETE
							  (VECTOR (VECTOR (VECTOR LAMBDA (VECTOR X)
										  (VECTOR PUT POSSIBLE:NAME:OF:CLASS 
											  CLASS:OBJECTS:33
											  (VECTOR PULLOUT X
												  (VECTOR GETP 
											     POSSIBLE:NAME:OF:CLASS 
												   CLASS:OBJECTS:33))))
									  DELETES X FROM 
									  POSSIBLE:NAME:OF:CLASS:OBJECTS:20)
								  (VECTOR (VECTOR LAMBDA (VECTOR X)
										  (VECTOR PUT POSSIBLE:NAME:OF:CLASS 
											  CLASS:CLASSNAME:34
											  (VECTOR PULLOUT X
												  (VECTOR GETP 
											     POSSIBLE:NAME:OF:CLASS 
												 CLASS:CLASSNAME:34))))
									  DELETES X FROM 
									  POSSIBLE:NAME:OF:CLASS:CLASSNAME:21)
								  (VECTOR (VECTOR LAMBDA (VECTOR X)
										  (VECTOR PUT POSSIBLE:NAME:OF:CLASS 
											  CLASS:YES:RELNS:35
											  (VECTOR PULLOUT X
												  (VECTOR GETP 
											     POSSIBLE:NAME:OF:CLASS 
												 CLASS:YES:RELNS:35))))
									  DELETES X FROM YES:RELNS:28)
								  (VECTOR (VECTOR LAMBDA (VECTOR X)
										  (VECTOR PUT POSSIBLE:NAME:OF:CLASS 
											  CLASS:NO:RELNS:36
											  (VECTOR PULLOUT X
												  (VECTOR GETP 
											     POSSIBLE:NAME:OF:CLASS 
												  CLASS:NO:RELNS:36))))
									  DELETES X FROM NO:RELNS:29)
								  (VECTOR (VECTOR LAMBDA (VECTOR X)
										  (VECTOR PUT POSSIBLE:NAME:OF:CLASS 
											  CLASS:MAYBE:RELNS:37
											  (VECTOR PULLOUT X
												  (VECTOR GETP 
											     POSSIBLE:NAME:OF:CLASS 
											       CLASS:MAYBE:RELNS:37))))
									  DELETES X FROM MAYBE:RELNS:30))) 
                                   BEING T 
                                   MAIN:EFFECTS NIL 
                                   SPECIALIZATIONS NIL)
  (PUTPROPS TEST:18 EXPLICIT:ARGS (ARG1 DUMMY:ARGUMENT:1) 
                    EXPLICIT:ARGS:CHECK T 
                    WHAT (VECTOR A SPECIALIZED BEING WHICH DOES (TUPLE TEST TO SEE IF THE ARG1 (@ ARG1)
								       MEETS THE DESIRED CONDITIONS (@ DUMMY:ARGUMENT:1)
								       )) 
                    COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                    SPECIALIZATIONS NIL 
                    PREDICATE T 
                    BEING T 
                    IDEN NIL 
                    MAIN:EFFECTS NIL 
                    WHY (AND TEST IS TOO GENERAL TO USE AS IT IS) 
                    META:CODE (PROGN (COMMENT IN ALL CALLS TO DATE, ARG1 IS INSTANTIATED AS POSSIBLE:NAME:OF:CLASS)
				     (COMPARE:19 ARG1 ELEMENT:4)) 
                    GENERALIZATIONS (TEST) 
                    AFFECTS (VECTOR (VECTOR IN POSSIBLE CALLED)
				    (VECTOR COMPARE:19 POSSIBLE CALLED)
				    (VECTOR ELEMENT:4 POSSIBLE CALLED)))
  (PUTPROPS FOREACH:17 EXPLICIT:ARGS (ARG1 DUMMY:ARGUMENT:2 ARG3 DUMMY:ARGUMENT:1 ARG5) 
                       EXPLICIT:ARGS:CHECK T 
                       NLAMBDA T 
                       NON:EVAL:ARGS T 
                       WHAT (VECTOR A SPECIALIZED BEING WHICH DOES (TUPLE GO THROUGH THE KNOWN SPACE OF (PLURAL ARG1)
									  ,WHICH IS (@ ARG3)
									  ,AND PERFORM (@ ARG5)
									  ON EACH, UNTIL SOME SPECIFIED TERMINATION 
									  CONDITION IS REACHED)) 
                       COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                       GENERALIZATIONS (FOREACH TUPLE LOOP REPEATEDLY) 
                       SPECIALIZATIONS NIL 
                       BEING T 
                       IDEN NIL 
                       MAIN:EFFECTS NIL 
                       WHY (AND FOREACH IS TOO GENERAL TO USE AS IT IS) 
                       META:CODE (PROGN (COMMENT IN ALL CALLS TO DATE, ARG3 IS INSTANTIATED AS 
						 SET:OF:POSSIBLE:NAMES:OF:CLASS)
					(PROGN (COMMENT IN ALL CALLS TO DATE, ARG1 IS BOUND TO POSSIBLE:NAME:OF:CLASS)
					       (COMMENT IN ALL CALLS TO DATE, ARG3 IS BOUND TO 
							SET:OF:POSSIBLE:NAMES:OF:CLASS)
					       (COMMENT IN ALL CALLS TO DATE, ARG5 IS BOUND TO
							(COMMENT TEST POSSIBLE:NAME:OF:CLASS
								 (COMMENT FOR SATISFACTION OF GOAL CRITERIA)))
					       (PROG (RESULT:1)
						     (SETQ EVAL:ARG3 (EVAL ARG3))
						     LABEL:2
						     (COND ((NULL EVAL:ARG3)
							    (SET ARG1 FAILURE:VALUE)
							    (RETURN EXHAUSTION:VALUE)))
						     (SET ARG1 (CAR EVAL:ARG3))
						     (SETQ EVAL:ARG3 (CDR EVAL:ARG3))
						     (SETQ RESULT:1 (EVAL ARG5))
						     (COND ((NOT (EQUAL RESULT:1 NIL))
							    (RETURN UNTIL:CONDITION:VALUE))
							   (T (GO LABEL:2)))
						     (COMMENT AT THE TIME THAT FOREACH:17 WAS CODED, THE UNTIL 
							      CONDITION VALUE WAS LEFT UNDEFINED)))) 
                       AFFECTS (VECTOR (VECTOR IN POSSIBLE CALLED)
				       (VECTOR IN POSSIBLE CALLED)
				       (VECTOR IN POSSIBLE CALLED)
				       (VECTOR IN POSSIBLE CALLED)
				       (VECTOR TEST POSSIBLE CALLED)
				       (VECTOR FOREACH:17 POSSIBLE CALLED)))
  (PUTPROPS GET:HOLD:OF:8 EXPLICIT:ARGS (DUMMY:ARGUMENT:1) 
                          EXPLICIT:ARGS:CHECK T 
                          NLAMBDA T 
                          WHAT (VECTOR A SPECIALIZED BEING WHICH DOES (TUPLE GET (@ DUMMY:ARGUMENT:1)
									     INTO PUP'S AWARENESS)) 
                          HOW (TUPLE SEE IF (@ DUMMY:ARGUMENT:1)
				     IS ALREADY KNOWN; IF NOT, TRY TO COMPUTE IT; IF THIS ALSO FAILS, ASK THE USER 
				     ABOUT IT) 
                          WHY (TUPLE PUP NEEDS (@ DUMMY:ARGUMENT:1)
				     AT THIS POINT IN TIME AND GET:HOLD:OF IS TOO GENERAL TO USE AS IT IS) 
                          META:CODE (FOREACH:17 POSSIBLE:NAME:OF:CLASS IN SET:OF:POSSIBLE:NAMES:OF:CLASS DO
						(TEST:18 POSSIBLE:NAME:OF:CLASS (COMMENT FOR SATISFACTION OF GOAL 
											 CRITERIA))) 
                          COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                          SPECIALIZATIONS NIL 
                          BEING T 
                          IDEN NIL 
                          MAIN:EFFECTS NIL 
                          GENERALIZATIONS (GET:HOLD:OF) 
                          AFFECTS (VECTOR (VECTOR FOREACH:17 POSSIBLE CALLED)
					  (VECTOR IN POSSIBLE CALLED)
					  (VECTOR DO POSSIBLE CALLED)
					  (VECTOR TEST:18 POSSIBLE CALLED)))
  (PUTPROPS TAKE:HOLD:OF:6 EXPLICIT:ARGS (DUMMY:ARGUMENT:1) 
                           EXPLICIT:ARGS:CHECK T 
                           NLAMBDA T 
                           WHAT (VECTOR A SPECIALIZED BEING WHICH DOES (TUPLE TAKE THE DUMMY:ARGUMENT:1 (@ 
												   DUMMY:ARGUMENT:1)
									      IN A TRIVIAL WAY; EITHER BY ACCESSING IT 
									      OR BY READING IT IN)) 
                           HOW (TUPLE LOOK AROUND A LITTLE; IF IT ISNT FOUND TRIVIALLY, THEN ASK THE USER TO GIVE
				      (@ DUMMY:ARGUMENT:1)
				      TO US) 
                           WHY (TUPLE PUP WANTS (@ DUMMY:ARGUMENT:1)
				      ,AND WE DON'T HAVE TO DO ANY COMPUTING TO GET IT AND TAKE:HOLD:OF IS TOO GENERAL 
				      TO USE AS IT IS) 
                           COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                           SPECIALIZATIONS NIL 
                           BEING T 
                           IDEN NIL 
                           MAIN:EFFECTS NIL 
                           META:CODE (COMMENT DO NOTHING SINCE WE ALREADY HAVE WHAT WE WANT) 
                           GENERALIZATIONS (TAKE:HOLD:OF) 
                           AFFECTS (VECTOR (VECTOR DO POSSIBLE CALLED)))
  (PUTPROPS TAKE:HOLD:OF:3 EXPLICIT:ARGS (ARG1) 
                           EXPLICIT:ARGS:CHECK T 
                           NLAMBDA T 
                           WHAT (VECTOR A SPECIALIZED BEING WHICH DOES (TUPLE TAKE THE ARG1 (@ ARG1)
									      IN A TRIVIAL WAY; EITHER BY ACCESSING IT 
									      OR BY READING IT IN)) 
                           HOW (TUPLE LOOK AROUND A LITTLE; IF IT ISNT FOUND TRIVIALLY, THEN ASK THE USER TO GIVE
				      (@ ARG1)
				      TO US) 
                           WHY (TUPLE PUP WANTS (@ ARG1)
				      ,AND WE DON'T HAVE TO DO ANY COMPUTING TO GET IT AND TAKE:HOLD:OF IS TOO GENERAL 
				      TO USE AS IT IS) 
                           COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                           SPECIALIZATIONS NIL 
                           BEING T 
                           IDEN NIL 
                           MAIN:EFFECTS NIL 
                           META:CODE (PROGN (COMMENT IN ALL CALLS TO DATE, ARG1 IS INSTANTIATED AS ELEMENT:4)
					    (PROGN (SET ARG1 (PREAD))
						   (SETQ ELEMENT:OBJECTS:11 (SOME:PART:OF:12 ARG1))
						   (SETQ ELEMENT:CLASSNAME:13 (SOME:PART:OF:14 ARG1))
						   (SETQ ELEMENT:RELNS:15 (SOME:PART:OF:16 ARG1))
						   T)) 
                           GENERALIZATIONS (TAKE:HOLD:OF) 
                           AFFECTS (VECTOR (VECTOR IN POSSIBLE CALLED)
					   (VECTOR ELEMENT:4 POSSIBLE CALLED)
					   (VECTOR ELEMENT:OBJECTS:11 POSSIBLE CALLED)
					   (VECTOR ELEMENT:CLASSNAME:13 POSSIBLE CALLED)
					   (VECTOR ELEMENT:RELNS:15 POSSIBLE CALLED)))
  (PUTPROPS HAS:NAME:5 EXPLICIT:ARGS (ARG1 DUMMY:ARGUMENT:1) 
                       EXPLICIT:ARGS:CHECK T 
                       WHAT (VECTOR A SPECIALIZED BEING WHICH DOES (TUPLE SEE IF (@ ARG1)
									  IS OF THE TYPE SPECIFIED. THE PARTICULAR TYPE 
									  IS DELINEATED BY THE SPECIAL KNOWLEDGE
									  (@ DUMMY:ARGUMENT:1))) 
                       HOW (TUPLE USE (@ DUMMY:ARGUMENT:1)
				  DETAILS TO SEE IF IT CONTAINS (@ ARG1)) 
                       WHY (TUPLE WE MUST BE ABLE TO TEST AN ARG1 (@ ARG1)
				  AND SEE IF IT BELONGS TO THE TYPE (@ DUMMY:ARGUMENT:1)
				  AND IS:OF:TYPE IS TOO GENERAL TO USE AS IT IS) 
                       META:CODE (PROGN (COMMENT IN ALL CALLS TO DATE, ARG1 IS INSTANTIATED AS ELEMENT:4)
					(NOT (EQUAL (CAR ARG1)
						    ???))) 
                       COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                       SPECIALIZATIONS NIL 
                       PREDICATE T 
                       BEING T 
                       IDEN NIL 
                       MAIN:EFFECTS NIL 
                       GENERALIZATIONS (IS:OF:TYPE) 
                       AFFECTS (VECTOR (VECTOR IN POSSIBLE CALLED)
				       (VECTOR ELEMENT:4 POSSIBLE CALLED)))
  (PUTPROPS ELEMENT:4 IDEN (((EQUAL (TUPLE ELEMENT:4)
				    LI)
			     (VECTOR ELEMENT:4))) 
                      EXPLICIT:ARGS:CHECK T 
                      WHAT (VECTOR A SPECIALIZED BEING WHICH DOES
				   (TUPLE A STRUCTURE WHICH IS A MEMBER OF A LARGER STRUCTURE)) 
                      COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                      SPECIALIZATIONS NIL 
                      DATA:STRUCTURE T 
                      BEING T 
                      MAIN:EFFECTS NIL 
                      EXPLICIT:ARGS (DUMMY:ARGUMENT:1) 
                      WHY (AND ELEMENT IS TOO GENERAL TO USE AS IT IS) 
                      META:CODE (STRUCTURE (OBJECTS SET ELEMENT:OBJECTS:11)
					   (CLASS:NAME NAME ELEMENT:CLASSNAME:13)
					   (STATIC RELATIONS ELEMENT:RELNS:15 BETWEEN OBJECTS)) 
                      GENERALIZATIONS (ELEMENT) 
                      AFFECTS (VECTOR))
  (PUTPROPS STATIC:SCENE:10 IDEN (((EQUAL LI (LIST STATIC:SCENE:10))
				   (VECTOR STATIC:SCENE:10))) 
                            META:CODE (STRUCTURE (OBJECTS SET O)
						 (CLASS:NAME NAME N)
						 (STATIC RELATIONS S BETWEEN OBJECTS)) 
                            COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                            DATA:STRUCTURE T 
                            BEING T 
                            MAIN:EFFECTS NIL 
                            EXPLICIT:ARGS NIL 
                            WHAT (VECTOR A SPECIALIZED BEING WHICH DOES NIL) 
                            WHY (AND SCENE IS TOO GENERAL TO USE AS IT IS) 
                            GENERALIZATIONS (SCENE) 
                            AFFECTS (VECTOR) 
                            SPECIALIZATIONS NIL)
  (PUTPROPS PAD:2 IDEN (((MATCH (TUPLE PARTITION A DOMAIN)
				LI)
			 (VECTOR PAD:2))
			((MATCH (TUPLE DIVIDE A DOMAIN UP)
				LI)
			 (VECTOR PAD:2))) 
                  EXPLICIT:ARGS:CHECK T 
                  WHAT (VECTOR A SPECIALIZED BEING WHICH DOES
			       (TUPLE DIVIDE A DOMAIN INTO SUBDOMAINS; USUALLY THESE WILL BE DISJOINT, AND THEIR UNION 
				      WILL BE THE ENTIRE DOMAIN)) 
                  HOW (TUPLE BY BUILDING UP THE PARTITION GRADUALLY, BY ADDING TO OUR KNOWLEDGE OF THE PARTITION ONE 
			     PAIR AT A TIME; HERE A PAIR IS <ELEMENT, CLASS:NAME>) 
                  WHY (TUPLE BECAUSE PUP MUST ENCODE A FUNCTION WHICH PARTITIONS A DOMAIN INTO CLASSES AND 
			     PARTITION:A:DOMAIN IS TOO GENERAL TO USE AS IT IS) 
                  MAIN:EFFECTS (((VECTOR PARTITIONED DOMAIN)
				 (VECTOR PAD:2))) 
                  WHEN ((PARTITIONED:DOMAIN:LIST -100 (TUPLE BECAUSE WE ALREADY HAVE PARTITIONED DOMAIN))
			((NULL PARTITIONED:DOMAIN:LIST)
			 20
			 (TUPLE BECAUSE PUP HAS NOT YET PARTITIONED DOMAIN, SO IT IS PLAUSIBLE TO DO IT NOW))) 
                  META:CODE (PROG NIL LABEL:1 (TAKE:HOLD:OF:3 ELEMENT:4)
				  (COND ((HAS:NAME:5 ELEMENT:4 (COMMENT PARTITION:BY:TAKE:ELE:AND:CLASS))
					 (PROGN (TAKE:HOLD:OF:6 NAME:OF:CLASS)
						(MODIFY:STRUCTURE:7 NAME:OF:CLASS)))
					(T (PROGN (GET:HOLD:OF:8 NAME:OF:CLASS)
						  (MODIFY:STRUCTURE:9 NAME:OF:CLASS))))
				  (GO LABEL:1)
				  (COMMENT INFINITE LOOP IN THIS PROG)) 
                  DEMONS (TUPLE FRINGE:OF:CONCIOUSNESS:DEMON) 
                  COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                  GENERALIZATIONS (PARTITION:A:DOMAIN TUPLE MAP BUILD:FUNCTION) 
                  SPECIALIZATIONS NIL 
                  ALTERNATIVES (TUPLE DIVIDE:UP DISCRETIZE) 
                  BEING T 
                  EXPLICIT:ARGS NIL 
                  AFFECTS (VECTOR (VECTOR ELEMENT:4 POSSIBLE CALLED)
				  (VECTOR ELEMENT:4 POSSIBLE CALLED)
				  (VECTOR IN POSSIBLE CALLED)))
  (PUTPROPS CF:1 IDEN (((MEMBER LI (QUOTE ((CONCEPT FORMATION)
					   (CF:1)
					   (CONCEPT LEARNING)
					   (FORM CONCEPTS)
					   (LEARN CONCEPTS)
					   (LEARNS CONCEPTS)
					   (FORMS CONCEPTS))))
			(VECTOR CF:1))) 
                 EXPLICIT:ARGS:CHECK T 
                 WHAT (VECTOR A SPECIALIZED BEING WHICH DOES
			      (TUPLE LEARN HOW TO IMPOSE A CONCEPT STRUCTURING UPON A DOMAIN; LEARN HOW TO 
				     CHARACTERIZE, OR AT LEAST DISTINGUISH, VARIOUS CONCEPTS)) 
                 HOW (TUPLE BY CHOOSING THE DESIRED TYPE OF CONCEPT FORMATION CALLED FOR, AND THEN CARRYING IT OUT) 
                 WHY (TUPLE CONCEPT:LEARNING IS NECESSARY TO CONCEPT KNOWLEDGE AND CONCEPT:FORMATION IS TOO GENERAL TO 
			    USE AS IT IS) 
                 MAIN:EFFECTS (((VECTOR ABLE PUP (VECTOR LEARN CONCEPTS))
				(VECTOR CF:1))) 
                 WHEN (((MEMBER TYPE:OF:C:F ABLE:PUP:LIST)
			-70
			(TUPLE BECAUSE IF WE CAN ALREADY DO (@ TYPE:OF:C:F)
			       THEN WE SHOULDNT TRY TO DO IT OVER AGAIN))
		       ((MEMBER (QUOTE (CHARACTERIZE CLASSES))
				PUP:WANTS:LIST)
			88
			(QUOTE (BECAUSE CONCEPT FORMATION IS A GOOD WAY TO GET A CHARACTERIZATION OF CLASSES)))
		       (T (COND (NEW:INFO:LIST -60)
				(T 40))
			  (QUOTE (BECAUSE NEW INFORMATION MIGHT ALTER OUR COURSE OF ACTION)))) 
                 META:CODE (TEMPORARILY (PAD:2)) 
                 PRE:REQUISITES ((VECTOR AWARE USER (VECTOR PUP IS ABOUT TO WORK ON CONCEPT FORMATION))
				 (VECTOR TYPE OF CONCEPT:FORMATION IS TYPE:OF:C:F)
				 (VECTOR AWARE USER (VECTOR THE TYPE OF CONCEPT FORMATION PUP IS ABOUT TO WORK ON IS
							    (@ TYPE:OF:C:F)))) 
                 POST:REQUISITES ((VECTOR AWARE USER (VECTOR PUP HAS THOUGHT ABOUT THE (@ TYPE:OF:C:F)
							     TYPE OF CONCEPT:FORMATION))) 
                 DEMONS (TUPLE INFERENCE:DEMONS ATTENTION:DEMONS) 
                 AFFECTS (VECTOR) 
                 COMPLEXITY:VECTOR (.8 .8 .8 .8 .1) 
                 GENERALIZATIONS (CONCEPT:FORMATION ATTEND LEARN INDUCTIVE:INFERENCE) 
                 SPECIALIZATIONS NIL 
                 ALTERNATIVES ((GRAMMATICAL:INFERENCE PATTERN:RECOGNITION SIMULATED:EVOLUTION)) 
                 BEING T 
                 EXPLICIT:ARGS NIL)
  (PRIN1 " WARNING: NEW BEINGS ARE NOT SEMICOMPILED  ")
  (MAPC IS:BEING:LIST (FUNCTION (LAMBDA (B)
					(SET B B))))
(PROGN (QUOTE JUSTEVALUATE)
(FILEMAP (NIL)))
STOP